3 commits

Author	SHA1	Message	Date
Alex Ellis	2d2603c0bc	Fix usage of Derek features ... - The features in .DEREK.yml were not correctly stated as per the user guide. They caused no harm, but may have been misleading the features removed are all part of the "comments" feature. - The new "pr_description_required" is turned on which helps reduce maintainer fatigue when a contributor deletes the whole text area / description of a new PR. Derek will advise as per: https://github.com/alexellis/derek/blob/master/USER_GUIDE.md - This version of Derek also includes the ability to use a slash command in place of the text "Derek" i.e. "/add label" or "/set milestone" Signed-off-by: Alex Ellis <alexellis2@gmail.com>	2019-02-28 17:18:58 +02:00
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