diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-07-13 09:34:00 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-07-13 09:34:03 -0700 |
| commit | c25f03d440ddfce7bcb905d23e21b309287c0d39 (patch) | |
| tree | a55f332c1bc4f8bab863660a2930d2ba68272707 /.DEREK.yml | |
| parent | 3c1b6d9ec1278544202d6cf2b4711f1cdc7c4cc0 (diff) | |
| download | subsurface-c25f03d440ddfce7bcb905d23e21b309287c0d39.tar.gz | |
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>
Diffstat (limited to '.DEREK.yml')
| -rw-r--r-- | .DEREK.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.DEREK.yml b/.DEREK.yml index fea6c57d2..d324aea2c 100644 --- a/.DEREK.yml +++ b/.DEREK.yml @@ -7,7 +7,13 @@ maintainers: - mturkia - janmulder - tcanabrava + - bstoeger + - sfuchs79 + - janiversen + - jbygdell features: - dco_check - comments + - labels + - milestone |