From d0bed3e8f04c320fe6afa8518e6e4f17f1e63817 Mon Sep 17 00:00:00 2001 From: Adam Tegen Date: Tue, 14 Oct 2025 18:30:27 -0500 Subject: [PATCH 1/3] Add GitHub Coding Agent setup instructions Added instructions for configuring GitHub Coding Agent. --- .../docs/20-setup/30-remote-setup.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/documentation/docs/20-setup/30-remote-setup.md b/documentation/docs/20-setup/30-remote-setup.md index 941065a1..553893f4 100644 --- a/documentation/docs/20-setup/30-remote-setup.md +++ b/documentation/docs/20-setup/30-remote-setup.md @@ -96,6 +96,25 @@ It will open a file with your MCP servers where you can add the following config } ``` +## GitHub Coding Agent + +- Open your repository in GitHub +- Go to Settings +- Open CoPilot > Coding agent +- Edit the MCP configuration +```json +{ + "mcpServers" { + "svelte": { + "type": "http", + "url": "https://mcp.svelte.dev/mcp", + "tools": ["*"] + } + } +} + +- Click *Save MCP configuration* + ## Other clients 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. From e639e3ad5c1f02598c332795ad1711f1f47f17bf Mon Sep 17 00:00:00 2001 From: Paolo Ricciuti Date: Thu, 16 Oct 2025 16:34:25 +0200 Subject: [PATCH 2/3] chore: apply suggestions from code review Co-authored-by: Willow (GHOST) --- documentation/docs/20-setup/30-remote-setup.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/documentation/docs/20-setup/30-remote-setup.md b/documentation/docs/20-setup/30-remote-setup.md index 553893f4..0ec3db66 100644 --- a/documentation/docs/20-setup/30-remote-setup.md +++ b/documentation/docs/20-setup/30-remote-setup.md @@ -100,8 +100,9 @@ It will open a file with your MCP servers where you can add the following config - Open your repository in GitHub - Go to Settings -- Open CoPilot > Coding agent +- Open Copilot > Coding agent - Edit the MCP configuration + ```json { "mcpServers" { @@ -112,6 +113,7 @@ It will open a file with your MCP servers where you can add the following config } } } +``` - Click *Save MCP configuration* From bdfd5a109fccca539754cacb55f9d0b3b6a96bcf Mon Sep 17 00:00:00 2001 From: Paolo Ricciuti Date: Fri, 17 Oct 2025 17:31:09 +0200 Subject: [PATCH 3/3] fix: lint --- documentation/docs/20-setup/30-remote-setup.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/documentation/docs/20-setup/30-remote-setup.md b/documentation/docs/20-setup/30-remote-setup.md index 0ec3db66..215e4d3b 100644 --- a/documentation/docs/20-setup/30-remote-setup.md +++ b/documentation/docs/20-setup/30-remote-setup.md @@ -111,11 +111,11 @@ It will open a file with your MCP servers where you can add the following config "url": "https://mcp.svelte.dev/mcp", "tools": ["*"] } - } + } } ``` -- Click *Save MCP configuration* +- Click _Save MCP configuration_ ## Other clients