Microsoft did, but that doesn't change the limitations imposed by git's design. Their repos just weren't as large.

> under 1 commit per second

Sure, for arbitrary pushes, that's not a big deal. But for large repositories, with those changes landing on trunk at that rate, once you start talking about "commits per second" it gets very difficult.