Comment by soanvig

It is huge scale, but on the other hand, almost entire GitHub although huge, is made of isolated islands of data (repositories). This is relatively easy to scale. Extreme example would be dedicated server for each repo and its Actions with their own isolated state.