Skip to content

fix: configure release tagger identity#16

Merged
heimanba merged 1 commit into
mainfrom
codex/configure-release-tagger
Jul 16, 2026
Merged

fix: configure release tagger identity#16
heimanba merged 1 commit into
mainfrom
codex/configure-release-tagger

Conversation

@heimanba

Copy link
Copy Markdown
Contributor

Fix

Configure the repository-local Git identity before creating annotated release tags. This uses the official GitHub Actions bot noreply identity and prevents the post-publish tag step from failing on a fresh runner.

Verification

  • full pre-push verification passed
  • release policy invariant covers the bot identity
  • no private or internal email is used

The v0.0.2 tag and GitHub Release were recovered manually; this change protects future releases.

Change-Id: If0f3da9d9beb01d3f308bbb9eb405d9fae2c39fe
@heimanba heimanba merged commit fcc4641 into main Jul 16, 2026
15 checks passed
@heimanba heimanba deleted the codex/configure-release-tagger branch July 16, 2026 07:22
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