diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pr-auto-close.yml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.github/workflows/pr-auto-close.yml b/.github/workflows/pr-auto-close.yml new file mode 100644 index 000000000..36e1bba0e --- /dev/null +++ b/.github/workflows/pr-auto-close.yml @@ -0,0 +1,17 @@ +name: Auto-Close Pull Requests Circinus + +on: + pull_request: + branches: + - circinus + +jobs: + auto_close_pr: + runs-on: ubuntu-latest + steps: + - name: Close PR + run: | + set -eux + gh pr close ${{ github.event.pull_request.number }} --repo ${{ github.repository }} --comment "Pull requests to this branch are not accepted and have been closed automatically." + env: + GH_TOKEN: ${{ secrets.PAT }} |