Isn't github in the middle of their (latest) attempt to migrate to Azure?[0]

[0]: https://www.theverge.com/tech/796119/microsoft-github-azure-...