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

This reverts commit 873342bf5436d510ba60513abce5d1eefd5e8343.
---
 .github/workflows/ci.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7b2e8ec66..144243dee 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -300,17 +300,13 @@ 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
-        body_path: RELEASE.md
+        generate_release_notes: true
         name: ${{ steps.tag_name.outputs.tag }}
         files: rescript-vscode-${{ steps.tag_name.outputs.tag }}.vsix