On: Github down

[makeramen]

Please link to github status: https://status.github.com/ which I assume is run on separate servers and actually provides useful information on the current status.