Bram Cohen's fix for git force-push | Hacker News Reader