Scaling to human use vs automated/agentic use is a very different thing.

Not saying they are doing a particular good job but its not as simple as "paying more for bigger machines" and be done with it.

To be fair, that was 8 years ago. Github now has all that days and users + 8 years of data and users.