Skip to content

Commit d0bed3e

Browse files
authored
Add GitHub Coding Agent setup instructions
Added instructions for configuring GitHub Coding Agent.
1 parent 4c98732 commit d0bed3e

File tree

1 file changed

+19
-0
lines changed

1 file changed

+19
-0
lines changed

documentation/docs/20-setup/30-remote-setup.md

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -96,6 +96,25 @@ It will open a file with your MCP servers where you can add the following config
9696
}
9797
```
9898

99+
## GitHub Coding Agent
100+
101+
- Open your repository in GitHub
102+
- Go to Settings
103+
- Open CoPilot > Coding agent
104+
- Edit the MCP configuration
105+
```json
106+
{
107+
"mcpServers" {
108+
"svelte": {
109+
"type": "http",
110+
"url": "https://mcp.svelte.dev/mcp",
111+
"tools": ["*"]
112+
}
113+
}
114+
}
115+
116+
- Click *Save MCP configuration*
117+
99118
## Other clients
100119

101120
If we didn't include the MCP client you are using, refer to their documentation for `remote` servers and use `https://mcp.svelte.dev/mcp` as the URL.

0 commit comments

Comments
 (0)