Blame

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 | Blob | Raw File
 1 e8256d91 2021-09-25 thomas.ad name: Close Pull Request

 2 e8256d91 2021-09-25 thomas.ad 

 3 e8256d91 2021-09-25 thomas.ad on:

 4 e8256d91 2021-09-25 thomas.ad   pull_request_target:

 5 e8256d91 2021-09-25 thomas.ad     types: [opened]

 6 e8256d91 2021-09-25 thomas.ad 

 7 e8256d91 2021-09-25 thomas.ad jobs:

 8 e8256d91 2021-09-25 thomas.ad   run:

 9 e8256d91 2021-09-25 thomas.ad     runs-on: ubuntu-latest

10 e8256d91 2021-09-25 thomas.ad     steps:

11 e8256d91 2021-09-25 thomas.ad     - uses: superbrothers/close-pull-request@v3

12 e8256d91 2021-09-25 thomas.ad       with:

13 e8256d91 2021-09-25 thomas.ad         # Optional. Post a issue comment just before closing a pull request.

14 e8256d91 2021-09-25 thomas.ad         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"

15 e8256d91 2021-09-25 thomas.ad