<div dir="ltr"><div dir="ltr"><div dir="ltr">Hi Paul,<div><br></div><div>If you setup the git hook as indicated here: <a href="https://llvm.org/docs/GettingStarted.html#git-pre-push-hook">https://llvm.org/docs/GettingStarted.html#git-pre-push-hook</a> ; it'll ask for confirmation before pushing multiple commits.</div><div><br></div><div>Also the section right before gives the manual recipe before pushing:</div><div><br></div><div><pre style="overflow:auto hidden;font-family:Consolas,"Deja Vu Sans Mono","Bitstream Vera Sans Mono",monospace;font-size:0.95em;line-height:15.960000038146973px;padding:0.5em;border:1px solid rgb(204,204,204);background-color:rgb(248,248,248);color:rgb(0,0,0)"><span class="gmail-gp" style="color:rgb(198,93,9);font-weight:bold">#</span> Check that the list of commits about to be pushed is correct.
<span class="gmail-gp" style="color:rgb(198,93,9);font-weight:bold">%</span> git log origin/master...HEAD --oneline</pre></div><div>-- </div><div>Mehdi</div><div><br></div><div><br></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Sep 12, 2020 at 2:34 PM 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">Aha, I think I see what is going on. Commit e8e3693 should not have been pushed. I must have forgotten to --amend that commit with the second one, 93b4f853. I must learn to do a 'git log' to check for that mistake.<br>
<br>
My apologies. I do not know how to fix this problem.<br>
<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>