
<html><body><div>On Oct 08, 2013, at 10:49 PM, Brad Roberts <braddr@puremagic.com> wrote:<br><br class="_stretch"><div><blockquote type="cite"><div class="msg-quote"><div class="_stretch"> An amend is a history rewrite, even if a small one. If the amended commit ever made it out of his <br> tree into github, a -f is necessary.</div></div></blockquote><span></span><br>I know that amend rewrites history. What I was saying was that if he amends his own pull request push force is needed. But if he amends SOMEONE ELSE pull request push force isn't needed.<br><br>--<br>/Jacob Carlborg<br></div></div></body></html>