Use another PR close action
This commit is contained in:
parent
55a6315862
commit
cdc3e18d99
4
.github/workflows/check-pr.yml
vendored
4
.github/workflows/check-pr.yml
vendored
|
@ -20,10 +20,8 @@ jobs:
|
|||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- uses: peter-evans/close-pull@v1
|
||||
- uses: superbrothers/close-pull-request@v3
|
||||
with:
|
||||
token: ${{ github.token }}
|
||||
delete-branch: false
|
||||
comment: >
|
||||
Thanks for your contribution! Unfortunately we can't accept PRs directed at release branches. We make patches to the bugfix branches and only later do we push them out as releases.
|
||||
|
||||
|
|
Loading…
Reference in a new issue