ci: add job to auto-close PRs to main

lurk-lab · Jun 8, 2023 · 47385e8 · 47385e8
1 parent 2f22a96
commit 47385e8
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/close-prs-to-main.yml b/.github/workflows/close-prs-to-main.yml
@@ -0,0 +1,17 @@
+name: Close PRs to main
+on:
+  pull-request:
+    branches: [main]
+
+jobs:
+  comment:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Close pull request
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          PR_URL: ${{ github.event.pull_request.html_url }}
+        run: |
+          gh pr close "$PR_URL" --comment "Auto-closing pull request: the main branch of this repo will be auto-clobbered"
+
+