Skip to content

Make tool prompts explicit-request driven and scope rule headings - #598

Merged
ericdallo merged 1 commit into
masterfrom
fix/git-tool-push-when-asked
Sep 11, 2026
Merged

Make tool prompts explicit-request driven and scope rule headings#598
ericdallo merged 1 commit into
masterfrom
fix/git-tool-push-when-asked

Conversation

@zikajk

@zikajk zikajk commented Sep 11, 2026

Copy link
Copy Markdown
Member

Summary

  • Tool prompts now treat an explicit user request as permission: git push, git config edits, shell search/read commands (grep, cat, ...) and sub-agent delegation run when the user asks, and stay off by default otherwise
  • Scope rule headings so they are not read as global rules: # Rules becomes # Rules when using this tool (git tool) and Workflow & Strict Execution Rules becomes Workflow rules for this tool (task tool)
  • Explain why interactive git flags cannot run (no TTY) so models explain instead of refusing; add the missing explicit-request carve-out to the shell prompt and fix its "You my use cd" typo
  • Client-side approval still gates every command; the prompts only encode user intent

@zikajk zikajk changed the title Clarify git tool push rule and scope its rules heading Make tool prompts explicit-request driven and scope rule headings Sep 11, 2026
@zikajk
zikajk force-pushed the fix/git-tool-push-when-asked branch 3 times, most recently from 41abdd1 to 8274b7f Compare September 11, 2026 14:29
- git tool: push and git config changes run only when the user asks;
  interactive flags explained (no TTY, they hang)
- shell tool: prefer dedicated search/read tools, explicit-request
  carve-out; fix "You my use" typo; explain cd does not persist
- spawn_agent: allow delegation when the user asks
- task tool: scope its workflow rules heading
@zikajk
zikajk force-pushed the fix/git-tool-push-when-asked branch from 8274b7f to 0ca985a Compare September 11, 2026 14:35
@ericdallo
ericdallo merged commit 4d2b95c into master Sep 11, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants