tree 6fc39cfe9532c8ab2a22ae992a48a7bd74dcf57c
parent 6ec4b38f2702bef2b41fb0397cc1201c92b9818e
author Marc Kupietz <kupietz@ids-mannheim.de> 1780901312 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1780901483 +0200

Build GitHub release notes from CHANGELOG.md

The release workflow previously derived release notes from merged pull
requests via release-changelog-builder-action, which yields nothing in our
Gerrit-based workflow (we don't use PRs). Instead, extract the section for
the pushed tag from CHANGELOG.md and use it as the release body, falling
back to a generic body if no matching section exists.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Change-Id: If0abefbfd2f74a3e7a74f2d3af72247b458b03eb