Comment by twp

https://www.githubstatus.com/ reports no problems, but it's clearly down for a lot of people (including me).