Refresh harness plugins on update, and tell users an update exists - #12

Merged

NovusEdge merged 14 commits into

mainfrom

feat/harness-update-refresh

Sep 13, 2026

Commits on Sep 13, 2026

docs: add shared agent setup and harness installation routes
NovusEdge
committed
c4ef5e6
feat: add update state file and version comparison
NovusEdge
committed
6d4fd46
feat: mark installer-owned checkouts and clean them up
NovusEdge
committed
2761279
feat: detect install shape and build the update notice
NovusEdge
committed
d5ad109
feat: refresh harness plugins on installer --update
NovusEdge
committed
16bf907
fix: address harness-update-refresh review findings
NovusEdge
committed
0060e7a
feat: fetch the latest release tag in a detached child
NovusEdge
committed
df89b02
feat: print an update notice above the briefing
NovusEdge
committed
3b1edca
feat: add the docket update subcommand
NovusEdge
committed
0db0b6b
fix: address docket-update review findings
NovusEdge
committed
52458c2
docs: describe harness refresh, docket update, and the update notice
NovusEdge
committed
dc99ffd
fix: write the managed marker on update and unblock update fallbacks
NovusEdge
committed
c6b85f4
fix: resolve the remaining review findings
NovusEdge
committed
0e35511
fix: refresh the Codex plugin the user actually installed
NovusEdge
committed
242e2f3