GitHub is down

Comments moved to https://news.ycombinator.com/item?id=20499070.

see: https://news.ycombinator.com/item?id=20499070 and https://news.ycombinator.com/item?id=20498983