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) |
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 673ff92d2c8a..88bb1efdfd3c 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> |