<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 20, 2021 at 10:39 AM Paul C. Anagnostopoulos via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">This morning I pushed a commit that killed the build, so I reverted it and pushed the new commit to fix the build. Then I did another revert to get my changes back so I can work on them some more.<br>
<br>
Is it legitimate to use that second revert commit, which was never pushed, to do the additional work, changing the title to something reasonable? If not, could you explain what I ought to do?<br></blockquote><div><br></div><div>That works, in general I tend to `git cherry-pick <original commit>` instead, because it brings back the original commit description with it :) (and possible link to the phabricator revision).</div><div>I'll still edit the message (git commit --amend) to add that this is a reland after fixes.</div><div><br></div><div>-- </div><div>Mehdi</div><div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><br>
</blockquote></div></div>