Default github mcp server toolset not included by default
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Shell
- Sterne
- 11.2k
- Forks
- 1.9k
- Ø Merge
- 14 Std. 16 Min.
- Gemergte PRs (30 T.)
- 6
Beschreibung
Describe the bug
The github mcp server has a default toolset called 'default', however, it does not seem to be enabled by default.
Affected version
GitHub Copilot CLI 1.0.79
Steps to reproduce the behavior
Open copilot cli
use /mcp show on the built-in github mcp server
See it is missing permissions
Expected behavior
I expect the above list to be same as the list when using the default mcp server toolset
Additional context
No response
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne mit dem integrierten GitHub MCP server und führe /mcp show aus, um seine Werkzeugliste mit dem Standard-MCP-Server-Toolset zu vergleichen. Verfolge, wo das Standard-Toolset des integrierten Servers ausgewählt wird; abgeschlossen ist die Aufgabe, wenn die erwarteten Standardberechtigungen in /mcp show für GitHub MCP ohne zusätzliche Konfiguration angezeigt werden.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- github, shell
- Bereich
- cli, tooling
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Ruhig
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 55/100