<div dir="ltr">Labels can only be applied by contributors, in other words people with merge access. So this is only useful for P.R. made by contributors. I doubt a contributor seeing a trivial P.R. (made by a non-contributor) will label it, instead of just pulling the auto-merge trigger.<br>So I'll stick with `[Trivial]` in the P.R. title.</div><div class="gmail_extra"><br><div class="gmail_quote">2016-07-04 0:55 GMT+02:00 Walter Bright via Digitalmars-d <span dir="ltr"><<a href="mailto:digitalmars-d@puremagic.com" target="_blank">digitalmars-d@puremagic.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">There was a "Trivial" label on dlang/dmd, and I added it to dlang/druntime and dlang/phobos.<br>
<br>
Please use it to tag trivial pull requests, so that they can be quickly checked and merged.<br>
<br>
A trivial PR should be:<br>
<br>
1. really easy to review<br>
2. highly unlikely to break anything, i.e. its effects are clearly constrained<br>
<br>
An example would be something like fixing a spelling error.<br>
<br>
If a trivial PR is not trivial, please remove the label with a note explaining why it isn't trivial.<br>
</blockquote></div><br></div>