I talked to github devs last week in person, when a lot of the AzDo team was brought over years ago the migration started happening.