Notes on how to convert Mercurial to Git