From 2d4960539cd0eea9425e54c770250bcbb526702c Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 1 Oct 2026 16:50:45 +0200
Subject: [PATCH] CI: check for pending releases

See <https://github.com/gap-actions/check-pending-release>.

Assisted-by: Claude Code (Opus 5.5)
---
 .github/workflows/check-pending-release.yml | 21 +++++++++++++++++++++
 .github/workflows/release.yml               | 12 ++++++++++++
 2 files changed, 33 insertions(+)
 create mode 100644 .github/workflows/check-pending-release.yml

diff --git a/.github/workflows/check-pending-release.yml b/.github/workflows/check-pending-release.yml
new file mode 100644
index 0000000..5d2bbfb
--- /dev/null
+++ b/.github/workflows/check-pending-release.yml
@@ -0,0 +1,21 @@
+name: Check for pending release
+
+on:
+  schedule:
+    - cron: '0 6 * * 1'   # every Monday at 06:00 UTC
+  release:
+    types: [published]    # close the issue once a release is made
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  issues: write
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v7
+        with:
+          fetch-depth: 0
+      - uses: gap-actions/check-pending-release@v1
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 1ced017..d9d476c 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -38,3 +38,15 @@ jobs:
           force: ${{ inputs.force }}
       - uses: gap-actions/update-gh-pages@v1
         if: ${{ !inputs.dry-run }}
+
+  close-pending-release-issue:
+    needs: release
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      issues: write
+    steps:
+      - uses: actions/checkout@v7
+        with:
+          fetch-depth: 0
+      - uses: gap-actions/check-pending-release@v1