Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 19 additions & 0 deletions .github/workflows/dependabot.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name: dependabot
permissions:
contents: write
pull-requests: write

on:
- pull_request
Copy link

Copilot AI Apr 9, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

on: pull_request without specifying types runs on all PR activity (including closed). Dependabot can close its own PRs (e.g., superseded updates), and gh pr merge --auto will fail/no-op on closed PRs, creating noisy failing workflow runs. Consider restricting trigger types (e.g., opened, reopened, synchronize, ready_for_review) and/or adding an if: guard that the PR state is open.

Suggested change
- pull_request
pull_request:
types:
- opened
- reopened
- synchronize
- ready_for_review

Copilot uses AI. Check for mistakes.

jobs:
dependabot:
runs-on: ubuntu-latest
if: github.actor == 'dependabot[bot]'
Copy link

Copilot AI Apr 9, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The job gating uses github.actor == 'dependabot[bot]', which depends on who triggered the event rather than who owns the PR. If a Dependabot-authored PR is updated or re-run by a maintainer, github.actor may no longer be dependabot[bot], and auto-merge won’t be (re)enabled. Prefer checking the PR author instead (e.g., github.event.pull_request.user.login == 'dependabot[bot]').

Suggested change
if: github.actor == 'dependabot[bot]'
if: github.event.pull_request.user.login == 'dependabot[bot]'

Copilot uses AI. Check for mistakes.

steps:
- name: auto-merge
run: gh pr merge --auto --squash "$PR_URL"
env:
PR_URL: ${{ github.event.pull_request.html_url }}
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
Loading