Cleaning again the repo after the migration from darcs