<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Sep 13, 2020 at 10:39 AM Daniel Martín via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Renato Golin <<a href="mailto:rengolin@gmail.com" target="_blank">rengolin@gmail.com</a>> writes:<br>
><br>
> Don't they give you the opportunity to amend the commit message, at least? I vaguely remember it's possible.<br>
><br>
<br>
If you mean "amend" like in "git commit --amend", it's generally a bad<br>
idea to rewrite repository history that has already been published.<br>
<br>
If you mean "amend" the message in the Web UI before merging, then yes,<br>
they let you change the message, but it's very easy to forget to do<br>
that.</blockquote><div>You could even remember, but GitHub's web application (at least when used with Firefox) could, after failing due to transient connection problems, revert your message changes. This is in addition to the annoyance of GitHub pages reloading with outdated state and previously-submitted messages appearing as being under draft.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">It's not a scalable workflow given the size of the LLVM project,<br>
unless there's some automation for it, IMHO.<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div></div>