Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# 0.20.5 (2026-04-09)
# 0.20.4 (2026-04-09)

- Added Maven Central publication support: `release` Maven profile with GPG signing and Sonatype Central Portal deployment, plus CI `deploy` job that publishes artifacts on release builds

Expand Down
29 changes: 20 additions & 9 deletions build-scripts/autotag.sh
Original file line number Diff line number Diff line change
Expand Up @@ -60,14 +60,25 @@ if [[ "$(echo "$FIRST_LINE" | cut -d' ' -f1)" == "#" ]]; then
fi

if [[ "$CHANGELOG_MM" == "$MM" ]]; then
echo "Release signal: creating tag $FULL_VER"
sed '0,/^#/d;/^#/Q' "$CHANGELOG" > "$RELEASE_NOTES" || echo "Release $FULL_VER" > "$RELEASE_NOTES"
git tag "$FULL_VER"
git push origin "$FULL_VER"
if [[ -n "$RELEASE_TAG" ]] && ! grep -qE "^# ${MM_ESCAPED}\.[0-9]+" "$CHANGELOG"; then
# Stale release signal: published release exists but CHANGELOG was never auto-edited
# (e.g. branch created from old release commit). Rename heading, don't create new release.
echo "Stale release signal: renaming to $RELEASE_TAG"
sed -i "s|^# ${MM_ESCAPED} |# ${RELEASE_TAG} |" "$CHANGELOG"
git add "$CHANGELOG"
git commit -m "Released ${RELEASE_TAG}"
git push origin HEAD
else
# Fresh release signal: create new release tag
echo "Release signal: creating tag $FULL_VER"
sed '0,/^#/d;/^#/Q' "$CHANGELOG" > "$RELEASE_NOTES" || echo "Release $FULL_VER" > "$RELEASE_NOTES"
git tag "$FULL_VER"
git push origin "$FULL_VER"

# Auto-edit CHANGELOG: replace "# MM (date)" with "# FULL_VER (date)" to clear the release signal
sed -i "s|^# ${MM_ESCAPED} |# ${FULL_VER} |" "$CHANGELOG"
git add "$CHANGELOG"
git commit -m "Released ${FULL_VER}"
git push origin HEAD
# Auto-edit CHANGELOG: replace "# MM (date)" with "# FULL_VER (date)" to clear the release signal
sed -i "s|^# ${MM_ESCAPED} |# ${FULL_VER} |" "$CHANGELOG"
git add "$CHANGELOG"
git commit -m "Released ${FULL_VER}"
git push origin HEAD
fi
fi
Loading