Skip to content

chore: release v0.5.75 — ship pipeline auto-commit - #72

Merged
githubrobbi merged 1 commit into
mainfrom
release/v0.5.75
Apr 26, 2026
Merged

chore: release v0.5.75 — ship pipeline auto-commit#72
githubrobbi merged 1 commit into
mainfrom
release/v0.5.75

Conversation

@githubrobbi

Copy link
Copy Markdown
Collaborator

Summary

just ship Phase 2 auto-commit for v0.5.75. Binaries + GitHub Release v0.5.75 are already live (step 09). This PR routes the corresponding commit through branch-protection rules.

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

Local main had this commit with a different SHA before squash rewrote it onto main; recover with git fetch origin && git reset --hard origin/main.

@githubrobbi
githubrobbi enabled auto-merge (squash) April 26, 2026 15:13
@githubrobbi
githubrobbi merged commit 65cb63e into main Apr 26, 2026
17 checks passed
@githubrobbi
githubrobbi deleted the release/v0.5.75 branch April 26, 2026 15:25
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