docs: Clarify where labels are noted.

This will prevent curious readers from scrolling in search of a list
of labels below (as I did initially).
This commit is contained in:
Karl Stolley 2023-05-29 12:12:41 -04:00 committed by Tim Abbott
parent a164173acf
commit 4bfbec48dd
1 changed files with 3 additions and 3 deletions

View File

@ -77,9 +77,9 @@ review:
In the Zulip server/web app repository In the Zulip server/web app repository
([`zulip/zulip`](https://github.com/zulip/zulip/)), we use GitHub labels to help ([`zulip/zulip`](https://github.com/zulip/zulip/)), we use GitHub labels to help
everyone understand where a pull request is in the review process. These labels everyone understand where a pull request is in the review process. These labels
are noted below. Each label is removed by the reviewer for that stage when they are noted below, alongside their corresponding pull-request stage. Each label is
have no more feedback on the PR and consider it ready for the next stage of removed by the reviewer for that stage when they have no more feedback on the PR
review. and consider it ready for the next stage of review.
Sometimes, a label may also be removed because significant changes by Sometimes, a label may also be removed because significant changes by
the contributor are required before the PR ready to be reviewed again. In that the contributor are required before the PR ready to be reviewed again. In that