Chris's Wiki :: blog/programming/UndoGitCommitAmend Commentshttps://utcc.utoronto.ca/~cks/space/blog/programming/UndoGitCommitAmend?atomcommentsDWiki2014-06-14T17:54:43ZRecent comments in Chris's Wiki :: blog/programming/UndoGitCommitAmend.By Brad on /blog/programming/UndoGitCommitAmendtag:CSpace:blog/programming/UndoGitCommitAmend:7b800b27da6df6b9f1660094d373859e637539acBradhttp://augmentedfourth.com<div class="wikitext"><p>I'm not sure if public Github will support this (I know Enterprise does), but if you have the right permissions to a git repository you can just `git push -f $REMOTE $BRANCH`, which just tells $REMOTE to forget whatever it has as the tip of $BRANCH and instead use whatever you have locally.</p>
</div>2014-06-14T17:54:43Z