Hi, I would like to migrate a repository myrepo from mercurial to git. I want to rename mercurial repository to myrepo_old and use orginal name for new git repository. Is it enough to rename mercurial repository on disk and copy new one under original name? Old one can have some closed pull requests. Thanks, Łukasz