There certainly are github employees who contribute a lot to git, but not with their github e-mail address, but with their personal address.