Eh, I would be more empathic in this situation[0].

Github isn’t small startup, where other 10x threshold is as cheap as buy bigger box in your IaaS.

When you are already biggest player in the ecosystem and you suddenly get 10x persisted traffic, with at least 30x+ forecast “soon” - I am not surprised they have issues.

[0] even at current MS owned github