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 @@ - mention-bot usually notifies GitHub users based on the submitted changes, - but it can happen that it misses some of the package maintainers. + CODEOWNERS + will make GitHub notify users based on the submitted changes, but it can + happen that it misses some of the package maintainers. @@ -376,8 +377,9 @@ $ nix-shell -p nox --run "nox-review -k pr PRNUMBER" - Mention-bot notify GitHub users based on the submitted changes, but it - can happen that it miss some of the package maintainers. + CODEOWNERS + will make GitHub notify users based on the submitted changes, but it can + happen that it misses some of the package maintainers.