Back to previous commit to (try to) fix bug in git : it loses all history in case of file/rep renaming.