Comment by sgt

Interestingly, if you're in a EU timezone or near it, Github is normally pretty good. It's mostly affecting the Americans.