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."