According to their github profile, 3 of the top 10 contributors to git list github as their employer. https://github.com/git/git/graphs/contributors https://git

According to their github profile, 3 of the top 10 contributors to git list github as their employer. https://github.com/git/git/graphs/contributors https://github.com/git/git/graphs/contributors In addition, one lists MS. Not sure if that counts. If you restrict yourself to contributions since Jan 1, 2020, you'll even find 4 "proper" Github employees in the top 10, and the 1 MS employee.