On Oct 08, 2013, at 10:49 PM, Brad Roberts <[email protected]> wrote:
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.
--
/Jacob Carlborg
An amend is a history rewrite, even if a small one. If the amended commit ever made it out of his
tree into github, a -f is necessary.
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.
--
/Jacob Carlborg
_______________________________________________ dmd-internals mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-internals
