[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