Well that was worth it then.
Besides which, Git is distributed so the worst that happened was some people couldn't push or pull commits for a bit.
Not a member of The Register?
Create a new account
Remember me on this computer?
The Register - Independent news and views for the tech community. Part of Situation Publishing
Join our daily or weekly newsletters, subscribe to a specific section or set News alerts
Biting the hand that feeds IT © 1998–2020