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

Conversation

@markgeejw

Copy link
Copy Markdown
Collaborator

Publish failed at the tag step with empty ident name — no git user configured. Sets the github-actions bot identity before tagging.

Also adds workflow_dispatch so the publish can be re-run manually (reads the version from .release-please-manifest.json on main), since the pull_request trigger won't re-fire for an already-merged release PR.

The tag step failed with 'empty ident name' because no git user was configured.
Set the github-actions bot identity before tagging. Also add workflow_dispatch
so the publish can be re-run manually (version read from the manifest on main).
@markgeejw
markgeejw merged commit 85dc94b into main Jul 20, 2026
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