auto-merge dependabot PRs

mit-pdos · Jul 14, 2024 · a6e63c2 · a6e63c2
1 parent a836fa1
commit a6e63c2
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/dependabot-automerge.yml b/.github/workflows/dependabot-automerge.yml
@@ -0,0 +1,16 @@
+name: Dependabot auto-merge
+on: pull_request
+
+permissions:
+  contents: write
+
+jobs:
+  dependabot-automerge:
+    runs-on: ubuntu-latest
+    if: ${{ github.actor == 'dependabot[bot]' }}
+    env:
+      PR_URL: ${{ github.event.pull_request.html_url }}
+      GH_TOKEN: ${{ github.token }}
+    steps:
+      - name: merge
+        run: gh pr merge --auto --merge --delete-branch "$PR_URL"