Skip to content

Commit

Permalink
Add configuration to merge updates automatically
Browse files Browse the repository at this point in the history
Since we have a CI and we are dealing with a static website
(and no one seems to review the PR anyway besides me), it can safely be
merged, avoiding me 3 clicks on github every day.
  • Loading branch information
mscherer committed Feb 3, 2025
1 parent 3505d83 commit 539b4e0
Showing 1 changed file with 16 additions and 0 deletions.
16 changes: 16 additions & 0 deletions .github/workflows/dependabot_automerge.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
name: Auto-merge Dependabot
on: pull_request

permissions:
pull-requests: write
contents: write

jobs:
automerge:
runs-on: ubuntu-latest
if: github.actor == 'dependabot[bot]'
steps:
- uses: peter-evans/enable-pull-request-automerge@v3
with:
pull-request-number: ${{ github.event.pull_request.number }}
merge-method: rebase

0 comments on commit 539b4e0

Please sign in to comment.