For what it's worth, Mercurial generally interoperates quite well with git and github, using the hg-git plugin. As a longtime Mercurial user and an occasional GHC contributor, it wouldn't be a practical problem for me if GHC were to switch to git.