From 31208ce5b38d604f1da32526080900ed1df6d953 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 24 Mar 2026 16:31:50 +0000
Subject: [PATCH] docs: fix toolsets default comment in slides

The 'default' toolset expands to context, repos, issues, pull_requests.
The 'users' toolset was incorrectly included - it is excluded because
GitHub Actions tokens do not support user operations.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 docs/slides/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/slides/index.md b/docs/slides/index.md
index 23ef7e87695..94f66f710e9 100644
--- a/docs/slides/index.md
+++ b/docs/slides/index.md
@@ -328,7 +328,7 @@ engine: copilot  # sensible defaults
 # GitHub MCP (recommended: use toolsets)
 tools:
   github:
-    toolsets: [default]  # context, repos, issues, pull_requests, users
+    toolsets: [default]  # context, repos, issues, pull_requests
 
 # Custom MCP servers
 mcp-servers: