On 7/3/2016 5:27 PM, Mathias Lang via Digitalmars-d wrote:
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 didn't know that.
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.
That works, too.
