From 0e6a8b78acc2b23d8fccbb8aa6f450d4e0f6bcab Mon Sep 17 00:00:00 2001
From: khaneliman <khaneliman@users.noreply.github.com>
Date: Sat, 12 Jul 2025 01:34:07 +0000
Subject: [PATCH] deploy: 7c6f7377ccca88c45a28875e7755c38b604c5ff3

---
 options.xhtml | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/options.xhtml b/options.xhtml
index 5e4625b5d..6b19b6c6b 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -72568,6 +72568,42 @@ JSON value</p>
 }
 </code></pre>
 
+<p><span class="emphasis"><em>Declared by:</em></span></p>
+<table border="0" summary="Simple list" class="simplelist">
+<tr><td>
+<code class="filename"><a class="filename"  href="https://github.com/nix-community/home-manager/blob/master/modules/programs/vscode" target="_top">
+&lt;home-manager/modules/programs/vscode&gt;
+</a></code>
+</td></tr>
+</table>
+</dd>
+<dt>
+ <span class="term">
+ <a id="opt-programs.vscode.profiles._name_.userMcp"></a><a class="term" href="options.xhtml#opt-programs.vscode.profiles._name_.userMcp"><code class="option">programs.vscode.profiles.&lt;name&gt;.userMcp</code>
+  </a>
+ </span>
+</dt>
+<dd>
+<p>Configuration written to Visual Studio Code’s
+<code class="filename">mcp.json</code>.
+This can be a JSON object or a path to a custom JSON file.</p>
+
+<p><span class="emphasis"><em>Type:</em></span>
+absolute path or JSON value</p>
+
+<p><span class="emphasis"><em>Default:</em></span>
+<code class="literal">{ }</code></p>
+
+<p><span class="emphasis"><em>Example:</em></span></p><pre><code class="programlisting">{
+  &quot;servers&quot;: {
+    &quot;Github&quot;: {
+      &quot;url&quot;: &quot;https://api.githubcopilot.com/mcp/&quot;
+    }
+  }
+}
+
+</code></pre>
+
 <p><span class="emphasis"><em>Declared by:</em></span></p>
 <table border="0" summary="Simple list" class="simplelist">
 <tr><td>