@@ -73,7 +73,7 @@ when contributing to Rust under [the git section](./git.md).
7373### r?
7474
7575All pull requests are reviewed by another person. We have a bot,
76- [ @rust-highfive ] [ rust-highfive ] , that will automatically assign a random person
76+ [ @rustbot ] , that will automatically assign a random person
7777to review your request based on which files you changed.
7878
7979If you want to request that a specific person reviews your pull request, you
@@ -82,7 +82,7 @@ if you want to ask a review to @awesome-reviewer, add
8282
8383 r? @awesome-reviewer
8484
85- to the end of the pull request description, and [ @rust-highfive ] [ rust-highfive ] will assign
85+ to the end of the pull request description, and [ @rustbot ] will assign
8686them instead of a random person. This is entirely optional.
8787
8888You can also assign a random reviewer from a specific team by writing ` r? rust-lang/groupname ` .
@@ -91,8 +91,10 @@ team by adding:
9191
9292 r? rust-lang/diagnostics
9393
94- For a full list of possible ` groupname ` check the ` groups ` section at the
95- [ rust highfive config file] ( https://github.com/rust-lang/highfive/blob/master/highfive/configs/rust-lang/rust.json ) .
94+ For a full list of possible ` groupname ` check the ` adhoc_groups ` section at the
95+ [ triagebot.toml config file] ( https://github.com/rust-lang/rust/blob/master/triagebot.toml )
96+ or the list of teams in the [ rust-lang teams
97+ database] ( https://github.com/rust-lang/team/tree/master/teams ) .
9698
9799### CI
98100
@@ -133,7 +135,7 @@ Changes that are rolled up are tested and merged alongside other PRs, to
133135speed the process up. Typically only small changes that are expected not to conflict
134136with one another are marked as "always roll up".
135137
136- [ rust-highfive ] : https://github.com/rust-highfive
138+ [ @rustbot ] : https://github.com/rustbot
137139[ @bors ] : https://github.com/bors
138140[ merge-queue ] : https://bors.rust-lang.org/queue/rust
139141
0 commit comments