HG -> git, plus adaptation to github (change in folder name)