github is a git repository (even if I manage the repo with hg-git)