Bram Cohen's fix for git force-push · HackerTrans