20× the CI traffic without getting slower: How we rebuilt Git serving at Datadog