[cosmic_quanta]

I don't know if it's related, but there's been a recent effort [0] within Github to move to Azure after the Microsoft acquisition

[0]: https://thenewstack.io/github-will-prioritize-migrating-to-a...