<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Before we start over engineering a solution, how about we try just having an automatic visual indicator for trivial PRs.<div class=""><br class=""></div><div class=""><br class=""><div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div>Pauli<br class="">-- <br class="">Dr Paul Dale | Distinguished Architect | Cryptographic Foundations <br class="">Phone +61 7 3031 7217<br class="">Oracle Australia</div><div><br class=""></div></div><br class="Apple-interchange-newline"><br class="Apple-interchange-newline">
</div>
<div><br class=""><blockquote type="cite" class=""><div class="">On 13 Dec 2019, at 3:24 am, Kurt Roeckx <<a href="mailto:kurt@roeckx.be" class="">kurt@roeckx.be</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">On Thu, Dec 12, 2019 at 12:10:35PM +0000, Matt Caswell wrote:<br class=""><blockquote type="cite" class=""><br class="">But in principle I agree that addrev could be used to do this. It's not<br class="">quite as robust as doing it in the commit hook - because you don't<br class="">*have* to use addrev. But, AFAIK, everyone does - so that's probably<br class="">good enough.<br class=""></blockquote><br class="">I have never used addrev.<br class=""><br class=""><br class="">Kurt<br class=""><br class=""></div></div></blockquote></div><br class=""></div></body></html>