Files
orca/src
OrcaWinandOrca Worker 0f9bc5aaad fix(codex): keep Orca-only MCP servers when refreshing the retained shared home (#24983)
* fix(codex): keep Orca-only MCP servers when refreshing the retained shared home

The refresh for panes that outlive an update treated the old shared
home's whole MCP root as owned by ~/.codex, so it deleted servers the
user had added from an Orca terminal, which existed only there. Read the
home's settings baseline instead, as the normal mirror does: drop only
servers the last mirror copied from ~/.codex. No baseline keeps the old
behaviour; an unreadable one skips the refresh. The baseline is not
advanced, keeping the refresh one-way.

STA-9109

* test(codex): type the MCP ownership baseline fixture

---------

Co-authored-by: Orca Worker <orca-worker@localhost>
2026-10-04 11:47:49 -07:00
..