From 46ffa686dddc40f2c29ff0f1f6d9db0b9ab94228 Mon Sep 17 00:00:00 2001
From: Elie Richa <richa@adacore.com>
Date: Tue, 20 Aug 2024 12:55:44 +0000
Subject: [PATCH] Use CHANGELOG.md in GitHub actions

---
 .github/workflows/pack-binaries.sh | 7 +++++++
 .github/workflows/release.sh       | 5 ++---
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/pack-binaries.sh b/.github/workflows/pack-binaries.sh
index 5749b935e..d08cffe05 100755
--- a/.github/workflows/pack-binaries.sh
+++ b/.github/workflows/pack-binaries.sh
@@ -6,6 +6,13 @@ NODE_PLATFORM=$(node -e "console.log(process.platform)")
 NODE_ARCH=$(node -e "console.log(process.arch)")
 ext_dir=integration/vscode/ada
 
+function create_changelog() {
+   # Replace the \<next> section with the tag
+   sed -e "s/^## \\\\<next>$/## $TAG/" <CHANGELOG.md
+}
+
+create_changelog >"$ext_dir/CHANGELOG.md"
+
 (
    cd "$ext_dir"
 
diff --git a/.github/workflows/release.sh b/.github/workflows/release.sh
index dd1b7aadd..46d61c97f 100755
--- a/.github/workflows/release.sh
+++ b/.github/workflows/release.sh
@@ -28,9 +28,8 @@ git fetch --tags
 function release_notes() {
    echo "# Release notes"
 
-   git show --no-patch --format=%n "$TAG" |
-      sed -e '1,/Release notes/d'
-   echo ""
+   # Select the content of the first section of CHANGELOG.md
+   sed -n -e '/^## \\<next>/,/^##/p' <CHANGELOG.md | tail -n +2 | head -n -1
 
    COMMITS=commits.txt