From e2193201700289de4fc15df3413434c7fbadb3b1 Mon Sep 17 00:00:00 2001 From: Tim Paine <3105306+timkpaine@users.noreply.github.com> Date: Sun, 2 Aug 2026 12:37:50 -0400 Subject: [PATCH] Document automerge grace period Signed-off-by: Tim Paine <3105306+timkpaine@users.noreply.github.com> --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 73ac096..145f699 100644 --- a/README.md +++ b/README.md @@ -20,6 +20,9 @@ It ignores closed pull requests, drafts, and pull requests without an automerge latest commit status is `pending`. Once all reported work is terminal, it requests a SHA-pinned merge. A failed optional check does not prevent the request, but GitHub rejects it when any required condition is unsatisfied. +Before merging, the App waits until the active automerge label has been present for 10 seconds, then checks the pull request again. Removing the label +during this grace period cancels the merge. + When new commits are pushed, the App removes either automerge label. Re-add a label after the new commit is ready to opt in again. The App prefers squash, then merge commit, then rebase, based on the repository's enabled merge methods.