Skip to content

fix: re-enable automerge for Dependabot PRs triggered by non-bot actors#5745

Closed
Copilot wants to merge 2 commits intomainfrom
copilot/check-merge-issues-5742
Closed

fix: re-enable automerge for Dependabot PRs triggered by non-bot actors#5745
Copilot wants to merge 2 commits intomainfrom
copilot/check-merge-issues-5742

Conversation

Copy link
Copy Markdown

Copilot AI commented Mar 26, 2026

The automerge step was gated solely on github.actor == 'dependabot[bot]', but GitHub resets auto-merge on force-push. When a human maintainer subsequently triggered a pull_request_target event (e.g. by labeling the PR), the actor was no longer dependabot[bot], so auto-merge was never re-enabled.

Change

  • Add github.event.pull_request.user.login == 'dependabot[bot]' as an additional condition, checking the PR author rather than only the event triggerer:
- if:
    github.actor == 'dependabot[bot]' ||
    github.event.pull_request.user.login == 'dependabot[bot]' ||
    (steps.commit-count.outputs.commit-count == '1' && (github.actor ==
    'prql-bot' || github.actor == 'pre-commit-ci[bot]'))

This ensures any pull_request_target event on a Dependabot PR re-enables auto-merge, regardless of who triggered it.


⚡ Quickly spin up Copilot coding agent tasks from anywhere on your macOS or Windows machine with Raycast.

Copilot AI changed the title [WIP] Investigate merge conflicts for PR #5742 fix: re-enable automerge for Dependabot PRs triggered by non-bot actors Mar 26, 2026
Copilot AI requested a review from snth March 26, 2026 16:10
Copilot finished work on behalf of snth March 26, 2026 16:10
@snth
Copy link
Copy Markdown
Member

snth commented Mar 26, 2026

Ok I will review your change later. In the meantime please tell me why I can't manually merge that PR?

@max-sixty
Copy link
Copy Markdown
Member

this actually changed because I installed tend which restricts the bot from writing to main...

@max-sixty max-sixty marked this pull request as ready for review March 26, 2026 17:31
@max-sixty max-sixty closed this Mar 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants