github / github/app

Disabled and then removed MCP servers remain in `disabledMcpServers`

オープン
#290 コメント 0 件 リアクション 0 件 担当者 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 を短くまとめたダイジェスト。