2 Commits

Author	SHA1	Message	Date
Dirk Hohndel	c25f03d440	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>	2018-07-13 09:34:03 -07:00
Dirk Hohndel	361d8abb5b	Add Derek control file ... I want to start using Derek to check for Signed-off-by (or, more explicitly, the DCO) in pull requests. Signed-off-by: Dirk Hohndel <dirk@hohndel.org>	2018-02-24 12:07:24 -08:00