diff options
| author | Jason <[email protected]> | 2023-01-09 14:43:54 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-01-09 14:43:54 -0700 |
| commit | fb90721a94d0e7556d167909c504be09f6e08ec5 (patch) | |
| tree | 1d4901d7352b9a1e4f80c4443a5960f98448c046 /.github | |
| parent | 214a8c54a4a173c9f5791045ba7a8914a3a8ffa4 (diff) | |
| download | Paper-fb90721a94d0e7556d167909c504be09f6e08ec5.tar.gz Paper-fb90721a94d0e7556d167909c504be09f6e08ec5.zip | |
[ci skip] Automatically close PRs from master branches on opening (#8779)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/close_invalid_prs.yml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.github/workflows/close_invalid_prs.yml b/.github/workflows/close_invalid_prs.yml new file mode 100644 index 0000000000..34c2688d7e --- /dev/null +++ b/.github/workflows/close_invalid_prs.yml @@ -0,0 +1,14 @@ +name: Close invalid PRs + +on: + pull_request_target: + types: [ opened ] + +jobs: + run: + if: ${{ github.repository != github.event.pull_request.head.repo.full_name && github.head_ref == 'master' }} + runs-on: ubuntu-latest + steps: + - uses: superbrothers/close-pull-request@v3 + with: + comment: "Please do not open pull requests from the `master` branch, create a new branch instead." |