From 55ed8640e065952f70ab8b49a29f4e85561d5a2e Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@davidchristiansen.dk>
Date: Wed, 3 Jan 2024 11:57:19 +0100
Subject: [PATCH] Add a bot to close PRs automatically

---
 .github/workflows/close-pr.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .github/workflows/close-pr.yml

diff --git a/.github/workflows/close-pr.yml b/.github/workflows/close-pr.yml
new file mode 100644
index 0000000..e779987
--- /dev/null
+++ b/.github/workflows/close-pr.yml
@@ -0,0 +1,14 @@
+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: "This repository does not accept pull requests. Please open an issue describing the changes that you'd like to see in the book."