How we keep GitHub fast