Skip to content

restore ENGINE_REF=main (gitgalaxy#2626 merged; #12 landed without the restore) - #14

Merged
squid-protocol merged 2 commits into
mainfrom
fix/2593-restore-engine-ref
Sep 1, 2026
Merged

restore ENGINE_REF=main (gitgalaxy#2626 merged; #12 landed without the restore)#14
squid-protocol merged 2 commits into
mainfrom
fix/2593-restore-engine-ref

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Summary

Choreography cleanup for the python sweep (gitgalaxy#2593): PR #12 was merged with
ENGINE_REF still set to pull/2626/head — the "restore to main before merging" step was
skipped. It only kept working because GitHub retains merged-PR refs. This restores the pin to
main (which now contains #2626).

Touching only ENGINE_REF means CI runs ALL 46 gates against engine main — doubling as the
full-registry validation that main+#2626 and the #12 re-baseline agree.

Cross-repo

🤖 Generated with Claude Code

https://claude.ai/code/session_01BsVATdyMPhUoAUNBKbMUVi

squid-protocol and others added 2 commits September 1, 2026 10:47
@squid-protocol
squid-protocol merged commit 657ed07 into main Sep 1, 2026
1 check passed
@squid-protocol
squid-protocol deleted the fix/2593-restore-engine-ref branch September 1, 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