Make the release workflow safe to repeat - #10

Merged

raszi merged 2 commits into

mainfrom

ci/release-branch-guard

Sep 19, 2026

Commits on Sep 19, 2026

Stop the release when the branch already exists
raszi
committed
9b30580
Point the tag at the merge commit of the pull request
raszi
committed
27e3dbb