From 4bde47a6456223e2da1064691714a5a8027b157b Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 3 Apr 2026 16:26:57 +0000
Subject: [PATCH] docs(slides): fix toolsets default comment to include users
 toolset

The default GitHub toolset expands to context, repos, issues,
pull_requests, and users - the comment was missing the users toolset.

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 05b0af6a11b..f5051cac3a9 100644
--- a/docs/slides/index.md
+++ b/docs/slides/index.md
@@ -236,7 +236,7 @@ engine: copilot  # sensible defaults
 # GitHub MCP (recommended: use toolsets)
 tools:
   github:
-    toolsets: [default]  # context, repos, issues, pull_requests
+    toolsets: [default]  # context, repos, issues, pull_requests, users
 
 # Custom MCP servers
 mcp-servers: