ci : release clean-up (#27477)

.github/workflows/make-release.yml

@@ -62,15 +62,15 @@ jobs:
           GITHUB_TOKEN: ${{ github.token }}
         with:
           tag_name: ${{ steps.checks.outputs.version }}
-          # TODO: remove the prerelease flag once the semantic versioning workflow is ready
+          prerelease: false
-          # ref: https://github.com/ggml-org/ggml/discussions/1579
+          # TODO: enrich the body of the release with more information
-          prerelease: true
           body: |
-            > [!NOTE]
+            ## Overview
-            > Semantic versioning is still work in progress.
+
-            > More info can be found in https://github.com/ggml-org/ggml/discussions/1579
+            New version has been released.
 
             ${{ steps.desc.outputs.nightly }}
+            **More info:** [dist : releases and versioning of ggml-org projects](https://github.com/ggml-org/ggml/discussions/1579)
 
             ## ${{ steps.desc.outputs.changelog_title }}
 

.github/workflows/release.yml

@@ -1688,6 +1688,7 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
           tag_name: ${{ steps.tag.outputs.name }}
+          prerelease: true
           body: |
             <details open>
 

scripts/make-release-desc.sh

@@ -52,10 +52,10 @@ PREV="$( { git tag --list; echo "${VERSION}"; } \
 
 if [[ -n "${PREV}" ]]; then
     CHANGELOG="$(git log --oneline "${PREV}..${RELEASE_COMMIT}")"
-    CHANGELOG_TITLE="Change log since ${PREV}"
+    CHANGELOG_TITLE="Changelog since ${PREV}"
 else
     CHANGELOG="(no previous release tag found)"
-    CHANGELOG_TITLE="Change log"
+    CHANGELOG_TITLE="Changelog"
 fi
 
 # Nightly release: the b* tag pointing at the release commit (|| true: no match is not an error)