Improved Issue handling (#250)

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

Author: PaulJonasJost

.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`);
+            }

.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`);
+            }