[xla]

This comment is spot on, people who jump to the conversation with the argument that Git is already decentralised don't understand where the most value is captured when it comes to collaboration. It's the social artifact, issues, PRs, etc. And the cost of migrating the community of a project/organisation and their social artifacts is a massive cost, carrying the risk of splitting the community and or stifling any other progress to stay relevant.