File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -196,8 +196,9 @@ Feel free to ask questions or discuss things you don't understand or disagree wi
196196recognize that the PR won't be merged unless someone on the Rust team approves
197197it. If a reviewer leave a comment like ` r=me after fixing ... ` , that means they approve the PR and
198198you can merge it with comment with ` @bors r=reviwer-github-id ` (e.g. ` @bors r=eddyb ` ) to merge it
199- after fixing lefted trivial issues. ` r=someone ` requires permission and the reviwer use
200- delegate command gives it to you in this way.
199+ after fixing trivial issues. Note that ` r=someone ` requires permission and bors could say
200+ something like "🔑 Insufficient privileges..." when commenting ` r=someone ` . In that case,
201+ you have to ask the reviewer to revisit your PR.
201202
202203When your reviewer approves the PR, it will go into a queue for yet another bot
203204called ` @bors ` . ` @bors ` manages the CI build/merge queue. When your PR reaches
You can’t perform that action at this time.
0 commit comments