[Ajedi32]

Looks like they've got a whole section in their docs on how they use GitHub at Google: https://opensource.google.com/docs/github/