GitHub pages are down too, although funnily enough https://pages.github.com is up