From 581b59e383773674c2fda5a0b42116ae823e56ba Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Mon, 19 Jan 2026 16:07:55 +0100
Subject: [PATCH 1/2] Revert "Delete legacy workflows"

---
 .github/workflows/deploy.yml  | 48 +++++++++++++++++++++++++++++++++++
 .github/workflows/release.yml | 33 ++++++++++++++++++++++++
 2 files changed, 81 insertions(+)
 create mode 100644 .github/workflows/deploy.yml
 create mode 100644 .github/workflows/release.yml

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
new file mode 100644
index 00000000..879a926b
--- /dev/null
+++ b/.github/workflows/deploy.yml
@@ -0,0 +1,48 @@
+name: Deploy Website
+
+on:
+  workflow_dispatch:
+    inputs:
+      title:
+        description: 'The name of the GitHub release'
+        type: string
+        required: true
+      description:
+        description: 'The description used in the GitHub release (typically a changelog)'
+        type: string
+        required: true
+      make_release:
+        description: 'Make a GitHub release with a reference.zip after uploading the website'
+        type: boolean
+        required: true
+        default: true
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Use Node.js 16
+        uses: actions/setup-node@v3
+        with:
+          node-version: 16
+      - name: Install dependencies
+        run: npm ci
+      - name: Deploy with static
+        run: npm run deployGithub
+        env:
+          AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}
+          AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: Make reference.zip
+        run: npm run zip
+      - name: Set Tag Name
+        run: |
+          echo "RELEASE_DATE=$(date '+%Y-%m-%d-%H%M%S')" >> ${GITHUB_ENV}
+      - name: Create release
+        uses: softprops/action-gh-release@v1
+        if: ${{ inputs.make_release }}
+        with:
+          files: reference.zip
+          body: ${{ inputs.description }}
+          name: ${{ inputs.title }}
+          tag_name: ${{ env.RELEASE_DATE }}
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 00000000..9c935bbd
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,33 @@
+name: Update Processing Releases
+
+on:
+  workflow_dispatch:
+
+permissions:
+  contents: write
+  pull-requests: write
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - name: Use Node.js 20
+      uses: actions/setup-node@v4
+      with:
+        node-version: 20
+    - name: Install dependencies
+      run: npm install
+    - name: Fetch releases
+      run: |
+        npm run fetchReleases
+      env:
+        GITHUB_TOKEN: ${{ secrets.PAT_TOKEN }}
+    - name: Create Pull Request
+      uses: peter-evans/create-pull-request@v7
+      with:
+        title: 'Update releases'
+        branch: update-releases
+        add-paths: |
+          content/download/*.json
+      

From 3815e7acbbf2c4df177de0c50716edb953204754 Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Mon, 19 Jan 2026 16:09:05 +0100
Subject: [PATCH 2/2] Delete .github/workflows/deploy.yml

---
 .github/workflows/deploy.yml | 48 ------------------------------------
 1 file changed, 48 deletions(-)
 delete mode 100644 .github/workflows/deploy.yml

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
deleted file mode 100644
index 879a926b..00000000
--- a/.github/workflows/deploy.yml
+++ /dev/null
@@ -1,48 +0,0 @@
-name: Deploy Website
-
-on:
-  workflow_dispatch:
-    inputs:
-      title:
-        description: 'The name of the GitHub release'
-        type: string
-        required: true
-      description:
-        description: 'The description used in the GitHub release (typically a changelog)'
-        type: string
-        required: true
-      make_release:
-        description: 'Make a GitHub release with a reference.zip after uploading the website'
-        type: boolean
-        required: true
-        default: true
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v3
-      - name: Use Node.js 16
-        uses: actions/setup-node@v3
-        with:
-          node-version: 16
-      - name: Install dependencies
-        run: npm ci
-      - name: Deploy with static
-        run: npm run deployGithub
-        env:
-          AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}
-          AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      - name: Make reference.zip
-        run: npm run zip
-      - name: Set Tag Name
-        run: |
-          echo "RELEASE_DATE=$(date '+%Y-%m-%d-%H%M%S')" >> ${GITHUB_ENV}
-      - name: Create release
-        uses: softprops/action-gh-release@v1
-        if: ${{ inputs.make_release }}
-        with:
-          files: reference.zip
-          body: ${{ inputs.description }}
-          name: ${{ inputs.title }}
-          tag_name: ${{ env.RELEASE_DATE }}