| # 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/CONTRIBUTING.md) | |
| which provides full instructions on how to get involved. |