github / github/app

Disabled and then removed MCP servers remain in `disabledMcpServers`

未关闭
#290 0 条评论 0 个 reaction 已指派 1 人 已被 @dmytrostruk 认领 在 GitHub 查看
Bugs
主要语言
没有语言数据
星标
2.1k
派生
153
PR 合并指标
30 天内没有已合并 PR

描述

### Short summary

Disabled and then removed MCP servers remain in `disabledMcpServers`

### Affected version or release

v0.2.7

### Installation context

_No response_

### What happened?

Disabling an MCP server and then deleting it keeps the disabledMcpServers state in ~/.copilot/settings.json

This can be problematic when an mcp server defined in the plugin shares the same name. For example I manually added a `seismic` mcp server, disabled it, deleted it, and then added a plugin that references a `seismic` mcp server. The skill in the plugin failed to work because it was marked as disabled.

### Steps to reproduce

1. Add mcp server
2. disable mcp server
3. delete mcp server
4. Note output of `cat ~/.copilot/settings.json | jq .disabledMcpServers`

### Expected behavior

disabledMcpServers is cleared when the mcp server is deleted.

### Additional context

_No response_

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。