But you don't necessarily have an up to date copy. If you had a local mirror, you could queue collective commits until the github server becomes available again.
> But you don't necessarily have an up to date copy.
You would if you designed your build process that way. I think it's a good idea to eliminate all third party build-time dependencies. In practice this means keeping a Git clone of everything to use for official builds, or anything that can't risk a third-party being unavailable when you need it most.
You could set one up in approximately no time at all using your local copies.
I mean, having a proper local master backup is a great idea, but you could survive without it in a case like this. Just set up a new repository somewhere everyone can get to it and have everyone push to it.
