The whole hunk
from line 344, old and new numbered
/
lines
from line 344
344344 // Ignore permission rules from user, project, and local settings
345345 "allowManagedPermissionRulesOnly": true,
346346 // Only the GitHub MCP server, matched by URL rather than by name, since a user can
347 // name any server "github". Servers that don't match don't load, which includes every
348 // stdio server when the list has only URL entries; the lock below makes this managed
349 // list the only allowlist that counts
347 // name any server "github". User-added servers that don't match don't load, including
348 // every stdio server when the list has only URL entries. The allowManagedMcpServersOnly
349 // key below makes this managed list the only allowlist that applies
350350 "allowedMcpServers": [
351351 {
352352 "serverUrl": "https://api.githubcopilot.com/*"