How to recover from a Git mistake | Hacker News Reader