You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@iceberg.apache.org by gi...@apache.org on 2026/10/20 16:50:06 UTC
(iceberg-rust) 01/01: docs: clarify how committers bypass the merge queue (#3489)
This is an automated email from the ASF dual-hosted git repository.
github-merge-queue[bot] pushed a commit to branch gh-readonly-queue/main/pr-3489-da5cc19a9f7c9e8ea14dc40d4a82974cd26def42
in repository https://gitbox.apache.org/repos/asf/iceberg-rust.git
commit 61ae88af647c2a270d6688892072cacaf760e826
Author: Kevin Liu <ke...@users.noreply.github.com>
AuthorDate: Tue Oct 20 16:49:40 2026 +0000
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 <22...@users.noreply.github.com>
---
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