<div dir="ltr">Depends on what you are trying to do?<div><br></div><div>The commit is already in upstream/master, so I don't suggest removing it now.</div><div><br></div><div>If you really want to undo it, use git revert on the merge commit.</div>
<div><br></div><div>Using rebase or reset on master will rewrite the public history, which at least two people have already pulled.</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Feb 21, 2014 at 7:21 PM, Walter Bright <span dir="ltr"><<a href="mailto:walter@digitalmars.com" target="_blank">walter@digitalmars.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=""><br>
On 2/21/2014 12:04 AM, Walter Bright wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
How do I undo this commit?<br>
<br>
<a href="https://github.com/D-Programming-Language/dmd/commit/6f344e7abbc922b51bb0aeaa6fe7261a4ca1826f" target="_blank">https://github.com/D-<u></u>Programming-Language/dmd/<u></u>commit/<u></u>6f344e7abbc922b51bb0aeaa6fe726<u></u>1a4ca1826f</a> <br>

<br>
Not sure how it happened. I was trying to fix dmd/test/fail_compilation/<u></u>testCols.d which has CRLFs in it which completely screw up git.<br>
</blockquote>
<br></div>
Ok, which one do I do:<br>
<br>
git rebase -i HEAD~2<br>
git push origin +master<br>
<br>
or:<br>
<br>
git reset --soft HEAD^<br>
git push origin +master<div class="HOEnZb"><div class="h5"><br>
<br>
?<br>
<br>
<br>
<br>
<br>
______________________________<u></u>_________________<br>
dmd-internals mailing list<br>
<a href="mailto:dmd-internals@puremagic.com" target="_blank">dmd-internals@puremagic.com</a><br>
<a href="http://lists.puremagic.com/mailman/listinfo/dmd-internals" target="_blank">http://lists.puremagic.com/<u></u>mailman/listinfo/dmd-internals</a><br>
</div></div></blockquote></div><br></div>