[Dylan16807]

But we're not losing the benefits of Git. We still have those. We're 'losing' the benefits of decentralized build servers, but we never had those to begin with.

This is a problem to work on, but it's not a Git problem.