> I'd be surprised if none of their employees have contributed to Git.
In git.git, there are 7 commits with @github.com authors, last one from 2014.
(I hope it just means GitHub folks are trying to blend into the crowd by using personal addresses, or something...)