Derek: enable label and milestone management

Allow Derek to modify labels and milestones and add a few more of our
contributors to the list of people allowed to give Derek commands.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2018-07-13 09:34:00 -07:00
parent 3c1b6d9ec1
commit c25f03d440

View file

@ -7,7 +7,13 @@ maintainers:
- mturkia
- janmulder
- tcanabrava
- bstoeger
- sfuchs79
- janiversen
- jbygdell
features:
- dco_check
- comments
- labels
- milestone