push to and pull from a Git repository using Mercurial
