Skip to content

Commit ece8f6e

Browse files
committed
Add a comment about requesting specific reviewers
Authors can request specific reviewers in addition to those automatically assigned by the CI bot. The review section of the workflow has been updated to document this.
1 parent d0c987d commit ece8f6e

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

docs/reference/contributing/guidelines/workflow.md

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -180,7 +180,10 @@ If a pull request is idle for more than two weeks, it will be closed. The author
180180

181181
#### Reviews
182182

183-
All pull requests must be reviewed. The Arm Mbed CI bot determines the most suitable person to review the pull request and tags that person accordingly.
183+
All pull requests must be reviewed. The Arm Mbed CI bot determines the most suitable person to review the pull request (based on the files changed) and tags that person accordingly. Specific reviewers can be requested by the author by @ tagging those people/teams in the 'Reviewers' section of the pull request template.
184+
E.g.
185+
Reviewers
186+
@personA @TeamB
184187

185188
Github dismisses a reviewer's status after any change to the pull request commit history (such as adding a new commit or rebasing). Smaller changes, such as documentation edits or rebases on top of latest master, only require additional review by maintainers. Their approval is sufficient because a team assigned as a reviewer already approved the pull request.
186189

0 commit comments

Comments
 (0)