Auto-merge dependabot PR (#351)

mlir-rs · Oct 16, 2023 · a53f557 · a53f557
1 parent 818cbb9
commit a53f557
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/merge.yaml b/.github/workflows/merge.yaml
@@ -0,0 +1,13 @@
+name: merge
+on: pull_request
+permissions:
+  contents: write
+  pull-requests: write
+jobs:
+  dependabot:
+    runs-on: ubuntu-latest
+    if: github.actor == 'dependabot[bot]'
+    steps:
+      - run: gh pr merge --auto --squash ${{ github.event.pull_request.html_url }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}