_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.)
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)
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Closes #36.
_editor_changedpopped the health-cache entry after assigning the new name, so a rename left the old name's cached "Test all" result in_healthforever — 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