Recovering a File from the Git Index | Hacker News Reader