Oh, totally forgot about this. There's also that repo.or.cz geo-blocks UK at the moment. There's a GitHub mirror, but I suppose it might be tricky to set up mirror rotation before we have curl?

I guess fetchgit with lowercase g would also not be available, but I've just learned about similarly named builtin fetchGit. Could we use that?

Or alternatively just default to the unofficial GitHub mirror, or set up a mirror of our own even