In hindsight, GitHub moving away from GitHub Pages from the github.com domain to github.io makes this whole situation less severe. Imagine all the GitHub-Pages-powered sites that would have been down at the moment.
https://github.com/blog/1452-new-github-pages-domain-github-...
Obviously the link above might not work at the moment.