Converting a mercurial repository into a git repository