fix: set the git identity before tagging and committing #14
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/git-identity"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Sixth iteration on #7 — progress: build and both pushes succeeded (the native overlay storage fix was the right one). The run now fails at the repository tag step:
Root cause
My oversight: the annotated
git tagneeds a committer identity, and the workflow never sets one — the anonymous clone carries no user config (my local test clones did, which is why I never saw it).Fix
The git setup step now also configures
user.name = botanduser.email = bot@users.noreply.factory.serious-devs.io(covers the annotated tag and the bump commit). If you want the tag/bump commits attributed to thebotaccount on the forge, register that address on the bot account — same treatment ashermes_forgeron@r-w-x.net.Wiki updates on merge
Nothing to update in the Wiki.