Github is down, what are you doing?

[Andy_Wismer (André Wismer)]

At least their status confirms it:

https://www.githubstatus.com/