You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -161,7 +161,7 @@ Each state is time boxed. In most cases, this is sufficient time to move to anot
161
161
162
162
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.
163
163
164
-
Github dismisses a reviewer's status after any change to the pull request commit history (adding new commit, rebase). Simple changes like documentation edits or rebase on top of latest master should only require rereview by maintainers. Their approval is sufficient, considering it was already approved by a team assigned as a reviewer.
164
+
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 additonal review by maintainers. Their approval is sufficient because a team assigned as a reviewer already approved the pull request.
165
165
166
166
Time: 3 days for reviewers to leave feedback after the maintainers add the "needs: review" label.
0 commit comments