How would they do that if they don't use git for version control? Does GitHub allow other forms of version control other than git?