fix: pop old AND new name from health cache on rename (#36) #48

Merged
the_og merged 1 commits from fix/36-health-cache-rename into main 2026-07-12 13:06:48 -04:00
Owner

Closes #36.

_editor_changed popped the health-cache entry after assigning the new name, so a rename left the old name's cached "Test all" result in _health forever — and any server later given that name inherited a stale health dot. The old name is now captured before reassignment and both names are popped (an edit invalidates health either way).

Tests + ruff clean. (Implemented by a delegated agent; reviewed.)

🤖 Generated with Claude Code

Closes #36. `_editor_changed` popped the health-cache entry **after** assigning the new name, so a rename left the old name's cached "Test all" result in `_health` forever — and any server later given that name inherited a stale health dot. The old name is now captured before reassignment and both names are popped (an edit invalidates health either way). Tests + ruff clean. (Implemented by a delegated agent; reviewed.) 🤖 Generated with [Claude Code](https://claude.com/claude-code)
the_og added 1 commit 2026-07-12 13:05:54 -04:00
fix: pop old AND new name from health cache on rename (#36)
CI / Lint (ruff) (pull_request) Successful in 7s
CI / Tests (py3.10) (pull_request) Successful in 9s
CI / Tests (py3.12) (pull_request) Successful in 10s
5c476bb13f
Closes #36

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
the_og merged commit 408f517c5d into main 2026-07-12 13:06:48 -04:00
the_og deleted branch fix/36-health-cache-rename 2026-07-12 13:06:49 -04:00
Sign in to join this conversation.