Git push --force. Oops, what now? | Hacker News Reader