Repository navigation
🤖 fix: keep recorded provider IDs and add cleanup records for MCP servers - #419
Merged
Merged
Commits
Commits on Oct 30, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
fix: report CoderDeploymentChanged when an MCP config looks deleted after a deployment switch (#353)
committed- committed
- committed
- committed
- committed
- committed