diff options
| author | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2018-08-05 20:19:46 -0400 |
|---|---|---|
| committer | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2018-08-05 20:22:32 -0400 |
| commit | e97112bdc3ed8c740d1dee60fbf6288bebfc7a1e (patch) | |
| tree | fc0edb7813ce66b918accf8d8c7c6e278b3783bf /doc | |
| parent | 2428f5dda13475afba2dee93f4beb2bd97086930 (diff) | |
| download | nixpkgs-e97112bdc3ed8c740d1dee60fbf6288bebfc7a1e.tar nixpkgs-e97112bdc3ed8c740d1dee60fbf6288bebfc7a1e.tar.gz nixpkgs-e97112bdc3ed8c740d1dee60fbf6288bebfc7a1e.tar.bz2 nixpkgs-e97112bdc3ed8c740d1dee60fbf6288bebfc7a1e.tar.lz nixpkgs-e97112bdc3ed8c740d1dee60fbf6288bebfc7a1e.tar.xz nixpkgs-e97112bdc3ed8c740d1dee60fbf6288bebfc7a1e.tar.zst nixpkgs-e97112bdc3ed8c740d1dee60fbf6288bebfc7a1e.zip | |
doc: Fixes mentions of mention-bot.
Its last mention was on 2017-09-25. Close to a year. The CODEOWNERS feature of github, though, fills in the gap in a more appropriate manner (IMHO).
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/reviewing-contributions.xml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/reviewing-contributions.xml b/doc/reviewing-contributions.xml index 673ff92d2c8..88bb1efdfd3 100644 --- a/doc/reviewing-contributions.xml +++ b/doc/reviewing-contributions.xml @@ -103,8 +103,9 @@ <itemizedlist> <listitem> <para> - mention-bot usually notifies GitHub users based on the submitted changes, - but it can happen that it misses some of the package maintainers. + <link xlink:href="https://help.github.com/articles/about-codeowners/">CODEOWNERS</link> + will make GitHub notify users based on the submitted changes, but it can + happen that it misses some of the package maintainers. </para> </listitem> </itemizedlist> @@ -376,8 +377,9 @@ $ nix-shell -p nox --run "nox-review -k pr PRNUMBER" <itemizedlist> <listitem> <para> - Mention-bot notify GitHub users based on the submitted changes, but it - can happen that it miss some of the package maintainers. + <link xlink:href="https://help.github.com/articles/about-codeowners/">CODEOWNERS</link> + will make GitHub notify users based on the submitted changes, but it can + happen that it misses some of the package maintainers. </para> </listitem> </itemizedlist> |