diff options
| author | Jason Penilla <[email protected]> | 2023-01-09 14:43:54 -0700 |
|---|---|---|
| committer | Jason Penilla <[email protected]> | 2023-01-09 14:43:54 -0700 |
| commit | 8f79964ecd6d1c6ce09cd1d9ab985a4876c0ce50 (patch) | |
| tree | 467142fb7400ea7c04d327dc283acb6dc00bfec6 /.github | |
| parent | 3ee1c5bf3fb9cd6eaa80b0138df639cb039d1f3a (diff) | |
| download | Paper-8f79964ecd6d1c6ce09cd1d9ab985a4876c0ce50.tar.gz Paper-8f79964ecd6d1c6ce09cd1d9ab985a4876c0ce50.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." |