How to recover from a Git force push | Hacker News Reader