I'd be interested in reading a source for both of these points, if you have one. By "moving the Azure DevOps engineers to GitHub" do you mean they switched internal tooling on their own team? or that engineers from the ADO team switched orgs and now work for GitHub?