I’ve revived the git repos affected by this outage
- the cvs->git conversion is now alive again, and the repos there are now kept on github.com.
If you are missing any repos that I forgot to move, please send me a note. I should have extensive backups of everything, so restoring anything that’s missing probably isn’t a problem. (Famous last words, hah!)