this is my exact point: they hired the former head of GH infrastructure - literally the person directly responsible for all this at github for years - and made him their ceo

github should have sharded years ago, every other large mysql user did so much earlier in their growth trajectory