Files
platform/src/servers
pastilhasandClaude Opus 5 4b22f52c7e update a plugin whose local branch no longer exists on the remote
The Update button failed with "couldn't find remote ref main" on every checkout
made before the plugin repositories were standardised on `master`. It pulled
`origin <local branch name>`, and the local branch and the remote's default had
stopped agreeing — so the button could never work again on exactly the installs
that most needed it.

Now `git fetch origin HEAD` and a fast-forward: HEAD resolves to whatever the
remote's default is, so the local name stops mattering, and the merge applies it
to whichever branch the checkout happens to be on.

Fourth time today that naming a branch was the bug — the marketplace icon URLs,
the capabilities sync, the setup script, and now this. The rule that keeps
holding: fetch HEAD, never a name.

Verified by reproducing it — renamed a real checkout to `main`, pulled against a
remote that has only `master`, and it succeeded.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-08-19 13:00:32 +00:00
..
2026-02-16 19:34:35 +00:00
2026-08-15 00:15:38 +00:00