This is an automated email from the ASF dual-hosted git repository.
kevinjqliu pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/iceberg-rust.git
The following commit(s) were added to refs/heads/main by this push:
new a9bd6c6ed docs: clarify how committers bypass the merge queue (#3489)
a9bd6c6ed is described below
commit a9bd6c6ed9736f73508a2a89b1b42a7976f2bbea
Author: Kevin Liu <[email protected]>
AuthorDate: Tue Oct 20 09:52:44 2026 -0700
docs: clarify how committers bypass the merge queue (#3489)
Removing a queued PR is required before a direct merge. Document only the
CLI, since the web UI shows the bypass checkbox only while a required
check is pending or failing.
Co-authored-by: Copilot App <[email protected]>
---
CONTRIBUTING.md | 11 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index bfa00834f..75a6988fb 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -68,13 +68,16 @@ When a pull request is under review, please avoid using
force push as it makes i
#### Merging an urgent PR
-Committers can merge an urgent, approved pull request (for example, a security
fix while CI is stuck) without waiting for the merge queue or required checks.
Use this only when necessary; otherwise, let the merge queue and required
checks run.
+Committers can merge an urgent, approved pull request without waiting for the
merge queue or required checks (for example, a security fix while CI is stuck).
Use this only when necessary; otherwise, let the merge queue run.
1. Join the
[`apache/iceberg-public`](https://github.com/orgs/apache/teams/iceberg-public)
team via [Boxer](https://gitbox.apache.org/boxer/) (one-time; membership syncs
in about 15 minutes).
2. Get the pull request approved by a committer.
-3. Merge without waiting for the queue or required checks:
- - CLI: `gh pr merge <number> --squash --admin`
- - Web UI: check "Merge without waiting for requirements to be met"
([docs](https://docs.github.com/en/pull-requests/how-tos/merge-and-close-pull-requests/merging-a-pull-request-with-a-merge-queue#adding-a-pull-request-to-a-merge-queue))
+3. If the pull request is in the merge queue, click **Remove from queue**.
+4. Merge it directly:
+
+ ```sh
+ gh pr merge <number> --squash --admin
+ ```
### CI
