소스 검색

Merge pull request #44792 from neersighted/rip_derek

CONTRIBUTING.md: drop reference to the Derek GitHub bot
Bjorn Neergaard 2 년 전
부모
커밋
b139a7636f
1개의 변경된 파일0개의 추가작업 그리고 30개의 파일을 삭제
  1. 0 30
      CONTRIBUTING.md

+ 0 - 30
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