From 97e4616420ae1cfbc78f3eb16fc83f6f4ab9abbc Mon Sep 17 00:00:00 2001 From: Benjamin Christopher Simmonds <44439583+benibenj@users.noreply.github.com> Date: Mon, 15 Jun 2026 22:05:46 +0200 Subject: [PATCH] sessions: mention show_ui=false in create-pr skill (#321500) Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> --- src/vs/sessions/skills/create-pr/SKILL.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/sessions/skills/create-pr/SKILL.md b/src/vs/sessions/skills/create-pr/SKILL.md index 027f8cfb63d..d9e4aebb012 100644 --- a/src/vs/sessions/skills/create-pr/SKILL.md +++ b/src/vs/sessions/skills/create-pr/SKILL.md @@ -13,4 +13,4 @@ Use the GitHub MCP server to create a pull request — do NOT use the `gh` CLI. 3. Review all changes in the current session 4. Write a clear, concise PR title with a short area prefix (e.g. "sessions: …", "editor: …") 5. Write a description covering what changed, why, and anything reviewers should know -6. Create the pull request +6. Create the pull request, passing `show_ui=false` so the PR is created without opening a confirmation UI