From 19603b6fb140ce14df31821c55743856cf2ef103 Mon Sep 17 00:00:00 2001
From: PaulJonasJost <jost.pauljonas@gmail.com>
Date: Tue, 24 Mar 2026 14:33:12 +0100
Subject: [PATCH] Added two workflows. Adding WIP when a PR is opened and
 adding a fixed_but_not_released label when PRs are closed. Necessary since no
 second layer (develop) is present

---
 .github/workflows/fixed_on_merge.yml | 54 ++++++++++++++++++++++++++++
 .github/workflows/wip_on_ref.yml     | 41 +++++++++++++++++++++
 2 files changed, 95 insertions(+)
 create mode 100644 .github/workflows/fixed_on_merge.yml
 create mode 100644 .github/workflows/wip_on_ref.yml

diff --git a/.github/workflows/fixed_on_merge.yml b/.github/workflows/fixed_on_merge.yml
new file mode 100644
index 0000000..40acb7e
--- /dev/null
+++ b/.github/workflows/fixed_on_merge.yml
@@ -0,0 +1,54 @@
+# .github/workflows/fixed-on-merge.yml
+name: Mark linked issues as fixed but not released
+
+on:
+  pull_request:
+    types: [closed]
+
+permissions:
+  issues: write
+  pull-requests: read
+
+jobs:
+  label-fixed:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    steps:
+      - name: Swap WIP → fixed but not released
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const body = context.payload.pull_request.body || '';
+            const issuePattern = /refs?\s+#(\d+)/gi;
+            const matches = [...body.matchAll(issuePattern)];
+
+            if (matches.length === 0) {
+              console.log('No linked issues found.');
+              return;
+            }
+
+            for (const match of matches) {
+              const issueNumber = parseInt(match[1]);
+
+              // Remove WIP label (ignore error if it wasn't there)
+              try {
+                await github.rest.issues.removeLabel({
+                  owner: context.repo.owner,
+                  repo: context.repo.repo,
+                  issue_number: issueNumber,
+                  name: 'WIP'
+                });
+              } catch (e) {
+                console.log(`WIP label not present on #${issueNumber}, skipping removal.`);
+              }
+
+              // Add "fixed but not released" label
+              await github.rest.issues.addLabels({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                issue_number: issueNumber,
+                labels: ['fixed but not released']
+              });
+
+              console.log(`Updated issue #${issueNumber}: WIP → fixed but not released`);
+            }
diff --git a/.github/workflows/wip_on_ref.yml b/.github/workflows/wip_on_ref.yml
new file mode 100644
index 0000000..80e1167
--- /dev/null
+++ b/.github/workflows/wip_on_ref.yml
@@ -0,0 +1,41 @@
+# .github/workflows/wip-on-ref.yml
+name: Label linked issues as WIP
+
+on:
+  pull_request:
+    types: [opened, edited, synchronize]
+
+permissions:
+  issues: write
+  pull-requests: read
+
+jobs:
+  label-wip:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Add WIP label to linked issues
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const body = context.payload.pull_request.body || '';
+            const issuePattern = /refs?\s+#(\d+)/gi;
+            const matches = [...body.matchAll(issuePattern)];
+
+            if (matches.length === 0) {
+              console.log('No linked issues found.');
+              return;
+            }
+
+            for (const match of matches) {
+              const issueNumber = parseInt(match[1]);
+
+              // Add WIP label (issue stays open, just gets labelled)
+              await github.rest.issues.addLabels({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                issue_number: issueNumber,
+                labels: ['WIP']
+              });
+
+              console.log(`Labelled issue #${issueNumber} as WIP`);
+            }