Fixing the repo after machine crash