Blob
- Date:
- Message:
- Github: add mechanism to autoclose prs The GitHub repository is read-only and exists so that CI can be run. We do not want PRs to be issued against the repository, so should someone do that, the PR is closed with a friendly message pointing them to the mailing list instead.
- Actions:
- History | Blame | Raw File
1 name: Close Pull Request3 on:4 pull_request_target:5 types: [opened]7 jobs:8 run:9 runs-on: ubuntu-latest10 steps:11 - uses: superbrothers/close-pull-request@v312 with:13 # Optional. Post a issue comment just before closing a pull request.14 comment: "We do not accept PRs. Please send any patches to the GoT mailing list. See: https://lists.openbsd.org/cgi-bin/mj_wwwusr?user=&passw=&func=lists-long-full&extra=gameoftrees"