Skip to content

Chore: point the engine pin at the current CLI main - #65

Merged
DevMando merged 1 commit into
mainfrom
chore/pin-engine-fe8eb6d
Sep 10, 2026
Merged

Chore: point the engine pin at the current CLI main#65
DevMando merged 1 commit into
mainfrom
chore/pin-engine-fe8eb6d

Conversation

@DevMando

Copy link
Copy Markdown
Owner

Summary

Bookkeeping only. Desktop's pin to the MandoCode engine pointed at a commit that is no longer where the engine's main branch sits. This moves the pin onto the current main. The engine code Desktop builds against does not change at all.

Why this matters

The engine is brought into Desktop as a pinned commit, so it is always clear which engine build a given Desktop build shipped with. That pin was left on the tip of a feature branch rather than on the merge commit that landed it. The result was cosmetic but confusing: a fresh checkout showed the engine as "modified" against main even with nothing changed locally, which makes it harder to tell a real engine change from noise.

What changed

  • The pin moves from the merged branch tip to the merge commit on the engine's main. The two contain byte-for-byte identical code — confirmed by diffing the two trees, which comes back empty. No engine behavior, no dependency, and no version changes.

Scope and risk

Low. One pointer, no code. Desktop compiles against exactly the same engine source before and after.

No changelog entry: there is no user-visible change to record.

Verification

Verified the two engine commits have identical contents (an empty diff between them). Desktop builds clean and all 330 Desktop tests pass on this engine.

The pin sat on 5aea416, the branch tip that PR #94 merged, rather than on
fe8eb6d, the merge commit that is now the CLI's main. The two trees are
byte-for-byte identical, so nothing about the engine changes here — this
only stops the submodule showing as modified against a commit that is no
longer where main points.
@DevMando
DevMando merged commit 310ccf5 into main Sep 10, 2026
1 check passed
@DevMando
DevMando deleted the chore/pin-engine-fe8eb6d branch September 10, 2026 03: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