[pvorb]

There was a talk about "Scaling Git at GitHub" [1] a few years ago at Git Merge. While it may no longer be accurate, it still gives some insight into how GitHub is run.

[1]: https://youtube.com/watch?v=xK5yaWTt0R0