Hi Christoph, as a user and rare contributor, I would welcome the migration from hg (that I never really learned to use) to git - and at the same time, from bitbucket to a github or gitlab based hosting.
If the decision is to migrate the official repository to github, people could already start using the https://github.com/eigenteam/eigen-git-mirror mirror for all "pull" operations. Regards, .Andrea
