But then where would the business value be for Github? We could have a federated system of independent git instances, something vastly more innovative, dynamic, and anti-fragile than Github could ever be, and this is the world we could have if we valued decentralized tools enough to do the work, rather than taking whatever is most convenient. But we don't care, and Github is what we got.