From eec35d4569b5170f90e3b30c5db590c86b4f2962 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Sat, 4 May 2024 21:54:46 +0200
Subject: [PATCH] ci: Avoid recreating devel release

Instead, the existing release is edited, which avoids notifications
for pre-releases.
---
 .github/workflows/ci.yaml | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 253204e31..b2f842325 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -229,17 +229,20 @@ jobs:
           echo "Releasing version ${GITHUB_REF_NAME} on GitHub..."
 
           if [ "${GITHUB_REF_NAME}" == "devel" ]; then
-            isprerelease=1
+            gh release edit "${GITHUB_REF_NAME}" \
+              -t "${GITHUB_REF_NAME}" \
+              --verify-tag \
+              -F artifacts/release-changes/CHANGES.md \
+              --prerelease \
+              release-bundle/*
+          else
+            gh release create "${GITHUB_REF_NAME}" \
+              -t "${GITHUB_REF_NAME}" \
+              --verify-tag \
+              -F artifacts/release-changes/CHANGES.md \
+              release-bundle/*
           fi
 
-          gh release delete "${GITHUB_REF_NAME}" || true
-          gh release create "${GITHUB_REF_NAME}" \
-            -t "${GITHUB_REF_NAME}" \
-            --verify-tag \
-            -F artifacts/release-changes/CHANGES.md \
-            ${isprerelease:+"--prerelease"} \
-            release-bundle/*
-
 
   docker:
     name: Release / Docker Hub