@@ -70,9 +70,11 @@ when contributing to Rust under [the git section](./git.md).
7070[ about-pull-requests ] : https://help.github.com/articles/about-pull-requests/
7171[ development-models ] : https://help.github.com/articles/about-collaborative-development-models/
7272
73+ ### r?
74+
7375All pull requests are reviewed by another person. We have a bot,
7476[ @rust-highfive ] [ rust-highfive ] , that will automatically assign a random person
75- to review your request.
77+ to review your request based on which files you changed .
7678
7779If you want to request that a specific person reviews your pull request, you
7880can add an ` r? ` to the pull request description. For example,
@@ -84,6 +86,17 @@ make a documentation change, add
8486to the end of the pull request description, and [ @rust-highfive ] [ rust-highfive ] will assign
8587[ @steveklabnik ] [ steveklabnik ] instead of a random person. This is entirely optional.
8688
89+ You can also assign a random reviewer from a specific team by writing ` r? rust-lang/groupname ` .
90+ So if you were making a diagnostics change, then you could get a reviewer from the diagnostics
91+ team by adding:
92+
93+ r? rust-lang/diagnostics
94+
95+ For a full list of possible ` groupname ` check the ` groups ` section at the
96+ [ rust highfive config file] ( https://github.com/rust-lang/highfive/blob/master/highfive/configs/rust-lang/rust.json ) .
97+
98+ ### CI
99+
87100In addition to being reviewed by a human, pull requests are automatically tested
88101thanks to continuous integration (CI). Basically, every time you open and update
89102a pull request, CI builds the compiler and tests it against the
@@ -100,6 +113,8 @@ computational resources each time you push a change. It is also perfectly fine
100113productivity. In particular, we don't recommend running the full ` ./x.py test ` suite locally,
101114since it takes a very long time to execute.
102115
116+ ### r+
117+
103118After someone has reviewed your pull request, they will leave an annotation
104119on the pull request with an ` r+ ` . It will look something like this:
105120
0 commit comments