Push to and pull from a Git server repository using Mercurial
