Skip to content

chore: release v0.6.30 — ship pipeline auto-commit#581

Merged
githubrobbi merged 2 commits into
mainfrom
release/v0.6.30
Jul 23, 2026
Merged

chore: release v0.6.30 — ship pipeline auto-commit#581
githubrobbi merged 2 commits into
mainfrom
release/v0.6.30

Conversation

@githubrobbi

Copy link
Copy Markdown
Collaborator

Summary

just ship Phase 2 auto-commit for v0.6.30 — the [workspace.package].version bump in Cargo.toml. This PR routes that commit through branch-protection rules. Once it merges to main, run just release-tag to cut the signed v0.6.30 tag, which fires release.yml and builds the cross-platform binaries + GitHub Release v0.6.30. (No auto-tag on merge — the tag step is manual on-demand, Path B.)

Auto-merge

--auto --squash is queued — GitHub will merge as soon as the required status checks pass. Squash is required because main-protection mandates signed commits, and GitHub's rebase-auto-merge cannot sign the rebased commit; the squash-merge commit is signed by GitHub's own key, which satisfies required_signatures: true. The original author's signed commit remains verifiable in the PR branch history.

After merge

The auto-commit lived only on release/v0.6.30, so local main never drifted — sync it with a plain git pull --ff-only origin main (no reset --hard needed).

The version banner's rerun trigger watched only .git/HEAD — but a pull,
commit, or reset onto the *current* branch leaves HEAD's symref line
unchanged, so the embedded commit SHA went stale and --version reported
the previous build's commit: exactly the 'am I running the fix?' trap
the stamp exists to prevent. .git/logs/HEAD (the reflog) appends on
every HEAD movement, making it the reliable trigger; .git/HEAD stays
watched for branch switches on fresh clones without a reflog entry yet.

Ported from the uffs-products build flow, where the same gap was found
and fixed first.
@githubrobbi
githubrobbi enabled auto-merge July 23, 2026 15:29
@githubrobbi
githubrobbi added this pull request to the merge queue Jul 23, 2026
Merged via the queue into main with commit b2a6d21 Jul 23, 2026
22 checks passed
@githubrobbi
githubrobbi deleted the release/v0.6.30 branch July 23, 2026 15:57
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