diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2018-08-06 12:07:37 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2018-08-06 12:07:37 +0200 |
commit | f504af072bc5cf49da008e6970c214255d5f46ed (patch) | |
tree | f2849cd5d239a32d7a2fbdff1dc5b3a0ed369b96 /doc | |
parent | 11ceef47699fb0911bea790e4b8059d97e95ad14 (diff) | |
parent | 6820e2f0dd16104961d6fc7e8e38846807159c4e (diff) |
Merge branch 'master' into staging-next
There's been some large rebuild on master. I don't really have time ATM to find what it was.
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 673ff92d2c8a0..88bb1efdfd3c8 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> |