Skip to content

ci(release): publish a GitHub release from the changelog - #113

Merged
trancee merged 1 commit into
mainfrom
ci/github-release
Oct 19, 2026
Merged

trancee merged 1 commit into
mainfrom
ci/github-release

Conversation

@trancee

@trancee trancee commented Oct 19, 2026

Copy link
Copy Markdown
Owner

Releases published to Maven Central had no GitHub release. I created v0.10.0 by hand with the command below. This PR makes later releases create it automatically.

  • version-bump.sh release-notes <version> prints one CHANGELOG.md section without its heading. If the section is missing, the command fails. version-bump-test.sh covers both cases.
  • release-publish.yml has a new github-release job. It runs after a successful deploy and creates the release for the tag, or updates it on a rerun.
  • docs/ci.md and ADR-0004 describe the new job.

Add version-bump.sh release-notes, which prints one CHANGELOG.md section,
and a github-release job that creates or updates the release for the tag
after Maven Central publication.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@trancee
trancee merged commit d2f2efd into main Oct 19, 2026
15 checks passed
@trancee
trancee deleted the ci/github-release branch October 19, 2026 09:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant