It is now clear that nobody of any significance to GitHub and/or Microsoft can actually move their repo away. They can stop contributing to the GitHub repos, either voluntarily or involuntarily, but they have no actual ownership if it would be inconvenient for the platform owners.