Bram Cohen's fix for git force-push

&quot;In the search for ultimate rather than proximate solutions to problems like this, it’s important to remember that the software is not immovable.&quot;<p>Not immovable is a great point. Git is ripe for major improvement.