They should mirror on GitHub for marketing purposes
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?
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?