<div dir="auto">Great idea. </div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">пт, 13 дек. 2019 г., 0:31 Dr Paul Dale <<a href="mailto:paul.dale@oracle.com">paul.dale@oracle.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space">A red blocker along the lines of: “Triviality Unconfirmed”. One of the reviewers needs to remove this before the PR can be merged.<div><br></div><div>It’s in our face, it prevent accidental merges and its low overhead.</div><div><br></div><div><br><div>
<div dir="auto" style="color:rgb(0,0,0);letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;word-wrap:break-word;line-break:after-white-space"><div>Pauli<br>-- <br>Dr Paul Dale | Distinguished Architect | Cryptographic Foundations <br>Phone +61 7 3031 7217<br>Oracle Australia</div><div><br></div></div><br><br>
</div>
<div><br><blockquote type="cite"><div>On 13 Dec 2019, at 7:06 am, Dr Paul Dale <<a href="mailto:paul.dale@oracle.com" target="_blank" rel="noreferrer">paul.dale@oracle.com</a>> wrote:</div><br><div><div style="word-wrap:break-word;line-break:after-white-space">Before we start over engineering a solution, how about we try just having an automatic visual indicator for trivial PRs.<div><br></div><div><br><div>
<div dir="auto" style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;word-wrap:break-word;line-break:after-white-space"><div>Pauli<br>-- <br>Dr Paul Dale | Distinguished Architect | Cryptographic Foundations <br>Phone +61 7 3031 7217<br>Oracle Australia</div><div><br></div></div><br><br>
</div>
<div><br><blockquote type="cite"><div>On 13 Dec 2019, at 3:24 am, Kurt Roeckx <<a href="mailto:kurt@roeckx.be" target="_blank" rel="noreferrer">kurt@roeckx.be</a>> wrote:</div><br><div><div>On Thu, Dec 12, 2019 at 12:10:35PM +0000, Matt Caswell wrote:<br><blockquote type="cite"><br>But in principle I agree that addrev could be used to do this. It's not<br>quite as robust as doing it in the commit hook - because you don't<br>*have* to use addrev. But, AFAIK, everyone does - so that's probably<br>good enough.<br></blockquote><br>I have never used addrev.<br><br><br>Kurt<br><br></div></div></blockquote></div><br></div></div></div></blockquote></div><br></div></div></blockquote></div>