commit e8256d916369996c214b5f28673d32f910996708
from: Thomas Adam <thomas.adam@smoothwall.net>
date: Sat Sep 25 22:54:54 2021 UTC

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.

commit - c414a013eb17711ab2e1ea447aab4a3a25a09d53
commit + e8256d916369996c214b5f28673d32f910996708
blob - /dev/null
blob + 7a612a85e9f98a9b0f6e2f2a39f4a2d7ec0d44da (mode 644)
--- /dev/null
+++ .github/workflows/closepr.yml
@@ -0,0 +1,15 @@
+name: Close Pull Request
+
+on:
+  pull_request_target:
+    types: [opened]
+
+jobs:
+  run:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: superbrothers/close-pull-request@v3
+      with:
+        # Optional. Post a issue comment just before closing a pull request.
+        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"
+