TagBot: Manual intervention needed for releases

[github-actions]

TagBot could not automatically create releases for the following versions. This may be because:

• The commits modify workflow files (.github/workflows/), which GITHUB_TOKEN cannot operate on
• The tag already exists but the release failed to be created
• A network or API error occurred

Versions needing manual release

• v0.23.0 at commit 302c58d4
  • Error: Git command 'git -C /tmp/tagbot_repo_64nxaka9 push origin v0.23.0' failed
• v0.23.1 at commit d2173eca
  • Error: Git command 'git -C /tmp/tagbot_repo_64nxaka9 push origin v0.23.1' failed

How to fix

Run these commands locally:

git tag -a v0.23.0 302c58d4719ff7c2df373155364a88e7849ee660 -m 'v0.23.0' && git push origin v0.23.0 && gh release create v0.23.0 --generate-notes
git tag -a v0.23.1 d2173ecaad9e80fb4c1788826c59aea36bfc0ef2 -m 'v0.23.1' && git push origin v0.23.1 && gh release create v0.23.1 --generate-notes

Or create releases manually via the GitHub UI.

Prevent this in the future

If this is due to workflow file changes, avoid modifying them in the same commit as version bumps, or use a Personal Access Token with workflow scope.

See TagBot troubleshooting for details.

---

This issue was automatically created by TagBot. (Run logs)