In particular, there seems to be a negligeable number of origins
using SSH instead of HTTPS, which the git loader cannot deal with.