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 Request

3 on:

4   pull_request_target:

5     types: [opened]

7 jobs:

8   run:

9     runs-on: ubuntu-latest

10     steps:

11     - uses: superbrothers/close-pull-request@v3

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