From 19659403055a1d4056613b28c1c7806e2eb89227 Mon Sep 17 00:00:00 2001 From: Patrik Oldsberg Date: Mon, 19 Jan 2026 15:55:04 +0100 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> Signed-off-by: Patrik Oldsberg --- LABELS.md | 2 +- REVIEWING.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/LABELS.md b/LABELS.md index fecc115831..545349faac 100644 --- a/LABELS.md +++ b/LABELS.md @@ -110,7 +110,7 @@ The following labels indicate the size of a pull request: - `size:tiny` - Tiny pull requests receive a higher priority for reviews. - `size:small` - Small pull requests receive a slightly higher priority for reviews. -- `size:medium` - Medium-sized pull request receive no change in priority for reviews. +- `size:medium` - Medium-sized pull requests receive no change in priority for reviews. - `size:large` - Large pull requests receive a slightly lower priority for reviews. - `size:huge` - Huge pull requests receive a lower priority for reviews. diff --git a/REVIEWING.md b/REVIEWING.md index 07fac4c568..a4b31efa16 100644 --- a/REVIEWING.md +++ b/REVIEWING.md @@ -28,9 +28,9 @@ Reviews from this group still have meaningful impact on the review process, as t Project area maintainers are responsible for reviewing and ultimately merging or closing pull requests towards their project area. They should use the global or filtered board for their project area to find pull requests to review. When they find a pull request that they want to review, they should assign themselves to the pull request, removing it from the review queue and placing it on their personal review board. -Once a pull request has been asigned a single owner, it is their responsibility to review and eventually merge or close the pull request. They manage all ongoing requests on their personal review board, typically prioritizing the ones at the top of the board marked with `status:needs-review`. If a pull request is left unreviewed for too long, it will automatically be unassigned and returned to the review queue. Once a pull request has been approved by the assigned owner, the owner should merge the pull request themselves if it is an outside contribution, but otherwise generally leave that to the author of the PR. +Once a pull request has been assigned a single owner, it is their responsibility to review and eventually merge or close the pull request. They manage all ongoing requests on their personal review board, typically prioritizing the ones at the top of the board marked with `status:needs-review`. If a pull request is left unreviewed for too long, it will automatically be unassigned and returned to the review queue. Once a pull request has been approved by the assigned owner, the owner should merge the pull request themselves if it is an outside contribution, but otherwise generally leave that to the author of the PR. -Some pull requests may require review from multiple project areas. In these cases the most relevant owner should assign themselves and coordinate with the other owners for additional reviews. If the most relevant owner is not clear, this is preferrably solved in a discussion among the owners. Frequent conflicts should lead to a discussion whether `CODEOWNERS` should be updated to simplify the review process. If some owners are currently unavailable, other owners can assign themselves to the pull request and bring it to the point where they approve the changes for their area, and then send the pull request back to the review queue. +Some pull requests may require review from multiple project areas. In these cases the most relevant owner should assign themselves and coordinate with the other owners for additional reviews. If the most relevant owner is not clear, this is preferably solved in a discussion among the owners. Frequent conflicts should lead to a discussion whether `CODEOWNERS` should be updated to simplify the review process. If some owners are currently unavailable, other owners can assign themselves to the pull request and bring it to the point where they approve the changes for their area, and then send the pull request back to the review queue. ## Code Style