diff options
author | Bjorn Neergaard <bneergaard@mirantis.com> | 2023-01-10 15:41:06 -0700 |
---|---|---|
committer | Bjorn Neergaard <bneergaard@mirantis.com> | 2023-01-10 15:42:09 -0700 |
commit | 8d1e56e2103e242d7bb13acd5c47fd4a50702618 (patch) | |
tree | fdf867831090379a1f8ce682acaa108566e771f7 | |
parent | 62296f9281d429b0ff1967f4c933e4b3b338cdd8 (diff) | |
download | docker-8d1e56e2103e242d7bb13acd5c47fd4a50702618.tar.gz |
CONTRIBUTING.md: drop reference to the Derek GitHub bot
Signed-off-by: Bjorn Neergaard <bneergaard@mirantis.com>
-rw-r--r-- | CONTRIBUTING.md | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8ca79f490c..531ac610be 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -309,36 +309,6 @@ Don't forget: being a maintainer is a time investment. Make sure you will have time to make yourself available. You don't have to be a maintainer to make a difference on the project! -### Manage issues and pull requests using the Derek bot - -If you want to help label, assign, close or reopen issues or pull requests -without commit rights, ask a maintainer to add your Github handle to the -`.DEREK.yml` file. [Derek](https://github.com/alexellis/derek) is a bot that extends -Github's user permissions to help non-committers to manage issues and pull requests simply by commenting. - -For example: - -* Labels - -``` -Derek add label: kind/question -Derek remove label: status/claimed -``` - -* Assign work - -``` -Derek assign: username -Derek unassign: me -``` - -* Manage issues and PRs - -``` -Derek close -Derek reopen -``` - ## Moby community guidelines We want to keep the Moby community awesome, growing and collaborative. We need |