Add workflow to close open PRs via Actions dispatch

.github/workflows/close-open-prs.yml

@@ -0,0 +1,62 @@
+# One-off / admin: close open PRs when the integration token cannot.
+# Run: Actions → Close open pull requests → Run workflow
+
+name: Close open pull requests
+
+on:
+  workflow_dispatch:
+    inputs:
+      pr_numbers:
+        description: Comma-separated PR numbers to close (leave empty to close all open PRs)
+        required: false
+        type: string
+
+permissions:
+  pull-requests: write
+  issues: write
+
+jobs:
+  close:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Close pull requests
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const input = (context.payload.inputs?.pr_numbers || "").trim();
+            let prNumbers = [];
+
+            if (input) {
+              prNumbers = input.split(",").map((n) => Number(n.trim())).filter(Boolean);
+            } else {
+              const { data } = await github.rest.pulls.list({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                state: "open",
+                per_page: 100,
+              });
+              prNumbers = data.map((pr) => pr.number);
+            }
+
+            if (prNumbers.length === 0) {
+              core.info("No open pull requests to close.");
+              return;
+            }
+
+            for (const number of prNumbers) {
+              core.info(`Closing PR #${number}`);
+              await github.rest.pulls.update({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                pull_number: number,
+                state: "closed",
+              });
+              await github.rest.issues.createComment({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                issue_number: number,
+                body: "Closed via **Close open pull requests** workflow (team cleanup).",
+              });
+            }
+
+            core.summary.addRaw(`Closed ${prNumbers.length} pull request(s): ${prNumbers.map((n) => `#${n}`).join(", ")}`);