GitHub Valet: Migrate Azure DevOps, GitLab CI and more to GitHub Actions

I wonder if Microsoft considers Azure DevOps a dead end long-term.