Comment by amai

Github is moving to Azure.

https://thenewstack.io/github-will-prioritize-migrating-to-a... https://news.ycombinator.com/item?id=45517173

Might explain at least a part of the issues.