File tree 1 file changed +3
-2
lines changed
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
196
196
recognize that the PR won't be merged unless someone on the Rust team approves
197
197
it. If a reviewer leave a comment like ` r=me after fixing ... ` , that means they approve the PR and
198
198
you 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 something like
200
+ "🔑 Insufficient privileges..." when commenting ` r=someone ` . In that case, you have to ask the reviewer
201
+ to revisit your PR.
201
202
202
203
When your reviewer approves the PR, it will go into a queue for yet another bot
203
204
called ` @bors ` . ` @bors ` manages the CI build/merge queue. When your PR reaches
You can’t perform that action at this time.
0 commit comments