Clarifies how to tag users for assigning PRs

This commit is contained in:
Mark Lodato 2019-11-27 17:17:02 -05:00
parent a7d791b450
commit 9b78191e08
1 changed files with 3 additions and 3 deletions

View File

@ -150,13 +150,13 @@ All pull requests are reviewed by another person. We have a bot,
request.
If you want to request that a specific person reviews your pull request,
you can add an `r?` to the message. For example, [Steve][steveklabnik] usually reviews
you can add an `r?` to the pull request message. For example, [Steve][steveklabnik] usually reviews
documentation changes. So if you were to make a documentation change, add
r? @steveklabnik
to the end of the message, and @rust-highfive will assign [@steveklabnik][steveklabnik] instead
of a random person. This is entirely optional.
to the end of the pull request message, and [@rust-highfive][rust-highfive] will assign
[@steveklabnik][steveklabnik] instead of a random person. This is entirely optional.
After someone has reviewed your pull request, they will leave an annotation
on the pull request with an `r+`. It will look something like this: