Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-04-27 18:57:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

adding clarifcation since my instinct in the past has been to put the "@bors: retry" messages on the PR rather than the commit

Felix S Klock II
2013-06-17 10:43:46 -07:00
parent d7e75de157
commit a2e4ecaa52
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Note-bors-usage.md
+3 -1
@@ -42,7 +42,9 @@ _exactly_ the bits that tested OK.
It retries if you move incoming while it's working, so tends to behave
"mostly gracefully" with respect to disruption around it. If it
misbehaves, it can be provoked to retry a commit with a comment from a
reviewer saying "@bors: retry". It ignores comments by non-reviewers. It
reviewer saying "@bors: retry" (on that same commit as the original "r+", as
opposed to the comment-trail inlined the Pull Request itself).
It ignores comments by non-reviewers. It
also does not merge "updates" to a pull request. It considers comments on
commits only, not pull requests; if you update a pull request to contain new
commits, they need to be reviewed anew.