[BUGFIX] Enqueue Dependabot PRs with an App token - #1399
Conversation
Since the merge queue on "main" was introduced (#1326), no Dependabot pull request has been merged automatically. The Auto-merge workflow still reports success, and the pull request is enqueued — but the merge group is then dropped again about 30 minutes later, and every bump has had to be merged by hand since 2026-07-18. Events created with the GITHUB_TOKEN do not trigger workflow runs. The merge group created by enqueuing with it therefore never runs the "Main" workflow, its required status checks stay pending, and the queue evicts the entry once check_response_timeout_minutes elapses. The run history shows the split cleanly: every merge_group run since the queue was introduced belongs to a merge enqueued by a person, and every merge group created by github-actions[bot] has no run at all. Mint a token from the GitHub App instead, whose events are not subject to that restriction. APP_ID and APP_PRIVATE_KEY are already available to this repository as organization secrets. Also drop --squash: the merge method comes from the merge queue rule on "main", and gh warns that the flag is ignored. Signed-off-by: Lina Wolf Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019EuSAzF5qw81NzPusWy2hC
|
A concrete reproduction from this afternoon, in case it helps the review — the Control: four PRs merged by hand. I merged #1367, #1384, #1383 and #1385 Then the bug. Dependabot rebased #1389 onto the new There is no And the counter-test. When I later pushed a commit to that same branch Same PR, same branch, same workflow — the only variable is who created the Two things this adds beyond the current description:
Also, a correction to something I wrote on #1265: I described five Dependabot |
Since the merge queue on "main" was introduced (#1326), no Dependabot
pull request has been merged automatically. The Auto-merge workflow
still reports success, and the pull request is enqueued — but the merge
group is then dropped again about 30 minutes later, and every bump has
had to be merged by hand since 2026-07-18.
Events created with the GITHUB_TOKEN do not trigger workflow runs. The
merge group created by enqueuing with it therefore never runs the "Main"
workflow, its required status checks stay pending, and the queue evicts
the entry once check_response_timeout_minutes elapses.
The run history shows the split cleanly: every merge_group run since the
queue was introduced belongs to a merge enqueued by a person, and every
merge group created by github-actions[bot] has no run at all.
Mint a token from the GitHub App instead, whose events are not subject to
that restriction. APP_ID and APP_PRIVATE_KEY are already available to
this repository as organization secrets.
Also drop --squash: the merge method comes from the merge queue rule on
"main", and gh warns that the flag is ignored.