FWIW the only reason GitHub (and a few other things) are allowed to use that kind of name is because they used the name before "git" was trademarked and the pol

FWIW the only reason GitHub (and a few other things) are allowed to use that kind of name is because they used the name before "git" was trademarked and the policy established.