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. So I'll stick with `[Trivial]` in the P.R. title.
2016-07-04 0:55 GMT+02:00 Walter Bright via Digitalmars-d < [email protected]>: > There was a "Trivial" label on dlang/dmd, and I added it to dlang/druntime > and dlang/phobos. > > Please use it to tag trivial pull requests, so that they can be quickly > checked and merged. > > A trivial PR should be: > > 1. really easy to review > 2. highly unlikely to break anything, i.e. its effects are clearly > constrained > > An example would be something like fixing a spelling error. > > If a trivial PR is not trivial, please remove the label with a note > explaining why it isn't trivial. >
