diff --git a/.github/mistaken-pull-closer.yml b/.github/mistaken-pull-closer.yml deleted file mode 100644 index 13c8d1b3..00000000 --- a/.github/mistaken-pull-closer.yml +++ /dev/null @@ -1,17 +0,0 @@ -# The JSONPath filter expression used to identify which PRs to close. -# The data filtered is the pull request data along with other metadata passed in -# by probot. -# See http://goessner.net/articles/JsonPath/ -# `true` will close all PRs. -filters: - - true - -# The message to post to the closed PR. -commentBody: | - Thanks for your contribution! Unfortunately, we don't use GitHub pull - requests to manage code contributions to this repository. Instead, please - see [README.md](../blob/master/README.md) which provides full instructions - on how to get involved. - -# Whether to add a label to the closed PR. -addLabel: false diff --git a/.github/workflows/close-pull-request.yml b/.github/workflows/close-pull-request.yml new file mode 100644 index 00000000..da11c4a6 --- /dev/null +++ b/.github/workflows/close-pull-request.yml @@ -0,0 +1,22 @@ +# GitHub actions workflow. +# https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions + +# https://github.com/superbrothers/close-pull-request +name: Close Pull Request + +on: + pull_request_target: + types: [opened] + +jobs: + run: + runs-on: ubuntu-latest + steps: + - uses: superbrothers/close-pull-request@v3 + with: + comment: > + Thanks for your contribution! + Unfortunately, we don't use GitHub pull requests to manage code + contributions to this repository. + Instead, please see [README.md](../blob/HEAD/README.md) which + provides full instructions on how to get involved.