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.
