The properties that make git excellent for distributed, offline work were actively undermining our ability to scale as the repo grew.