From 5c942b6380e0717095d50c3a2c94b4f766ad7b7a Mon Sep 17 00:00:00 2001
From: Florian Hammerschmidt <fh@cca.io>
Date: Tue, 9 Jul 2024 10:28:29 +0200
Subject: [PATCH] CI: Reuse changelog entries for release notes

---
 .github/workflows/ci.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 144243dee..3e0493512 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -300,13 +300,18 @@ jobs:
         name: "Latest master"
         files: rescript-vscode-latest-master.vsix
 
+    - name: Generate release notes from changelog
+      if: startsWith(github.ref, 'refs/tags/')
+      run: | 
+        sed -e "/^## ${{ steps.tag_name.outputs.tag }}/,/^## / ! d" CHANGELOG.md | head -n -2 > RELEASE.md
+
     - name: Publish release version to GitHub
       if: startsWith(github.ref, 'refs/tags/')
       uses: softprops/action-gh-release@v2
       with:
         token: "${{ secrets.GITHUB_TOKEN }}"
         prerelease: false
-        generate_release_notes: true
+        body_path: RELEASE.md
         name: ${{ steps.tag_name.outputs.tag }}
         files: rescript-vscode-${{ steps.tag_name.outputs.tag }}.vsix