From 6f9325fb5dbf965b2078cba8a5ca4ad285e8f0af Mon Sep 17 00:00:00 2001 From: Aliaksandr Date: Sat, 9 May 2026 15:04:29 +0300 Subject: [PATCH] ci/github-script/merge: clarify Auto Merge follow-up tip The previous tip ("Sometimes GitHub gets stuck after enabling Auto Merge") didn't explain why nothing happens immediately after the bot's "Enabled Auto Merge" reply, leaving maintainers unsure whether to wait or intervene. Spell out that Auto Merge waits for required CI before queueing, that a later CI failure leaves the PR un-queued until it is fixed, and link to GitHub's documentation; keep the existing "leave another approval" workaround for the rare cases where Auto Merge stalls after CI completes. Assisted-by: claude-code with claude-opus-4-8[1m]-high --- ci/github-script/merge.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ci/github-script/merge.js b/ci/github-script/merge.js index 1d218b27b0ae..963d2c1e61bf 100644 --- a/ci/github-script/merge.js +++ b/ci/github-script/merge.js @@ -292,7 +292,9 @@ async function handleMerge({ `:heavy_check_mark: Enabled Auto Merge (#306934)`, '', '> [!TIP]', - '> Sometimes GitHub gets stuck after enabling Auto Merge. In this case, leaving another approval should trigger the merge.', + '> [Auto Merge](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/automatically-merging-a-pull-request) will queue this PR once required CI checks succeed.', + '> If CI fails instead, fixing it needs a new push, which disables Auto Merge and invalidates this command — comment `@NixOS/nixpkgs-merge-bot merge` again once CI is green.', + '> If GitHub gets stuck even though CI passed (it sometimes does), leaving another approval should kick off the merge.', ], } } catch (e) {