Repairing a corrupt Git repo using a clone | Hacker News Reader