[dmd-internals] Fixing github pull requests that I borked up
Jacob Carlborg
doob at me.com
Wed Oct 9 05:54:33 PDT 2013
On Oct 08, 2013, at 10:49 PM, Brad Roberts <braddr at puremagic.com> wrote:
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/dmd-internals/attachments/20131009/55152d99/attachment.html>
More information about the dmd-internals
mailing list