From c25f03d440ddfce7bcb905d23e21b309287c0d39 Mon Sep 17 00:00:00 2001
From: Dirk Hohndel <dirk@hohndel.org>
Date: Fri, 13 Jul 2018 09:34:00 -0700
Subject: [PATCH] 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>
---
 .DEREK.yml | 6 ++++++
 1 file changed, 6 insertions(+)

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