Skip to content

ci: set git identity for release tag; add manual dispatch#9

Merged
markgeejw merged 1 commit into
mainfrom
ci/fix-publish-tag-identity
Jul 20, 2026
Merged

ci: set git identity for release tag; add manual dispatch#9
markgeejw merged 1 commit into
mainfrom
ci/fix-publish-tag-identity

Commits

Commits on Jul 20, 2026