Skip to content

feat(tools): add scoped path filtering to git_log - #641

Closed
Tiktokaiagent wants to merge 1 commit into
use-agent-os:mainfrom
Tiktokaiagent:comp/623-git-log-scoped-path-v2
Closed

feat(tools): add scoped path filtering to git_log#641
Tiktokaiagent wants to merge 1 commit into
use-agent-os:mainfrom
Tiktokaiagent:comp/623-git-log-scoped-path-v2

Conversation

@Tiktokaiagent

Copy link
Copy Markdown
Contributor

Summary

Adds a path parameter to git_log to filter commit history to a specific file or directory, along with sandbox-safe argv generation.

Changes

  • New _git_log_argv() named function for the sandbox decorator
  • path parameter on git_log with _reject_foreign_git_path validation
  • Updated tool description to document the new parameter
  • Unit tests for argv generation

Fixes #623
Closes #623

Adds a 'path' parameter to git_log to filter commit history to a
specific file or directory. Includes a dedicated _git_log_argv
function for the sandbox decorator and unit tests.

Fixes use-agent-os#623
Closes use-agent-os#623
@andreapn

andreapn commented Aug 31, 2026

Copy link
Copy Markdown
Contributor

Closing along with #623, which I closed as wontfix. git_log returns correct results today; the missing path costs some extra tokens, not correctness, and every built-in tool parameter is permanent schema surface plus path validation plus a sandbox fingerprint to keep in sync (#614 in this same batch is that fingerprint drifting out of sync once a tool takes a path).

Full reasoning: #623 (comment)

Thanks for the patch — the argument in the issue was well made, it just lands on the wrong side of "does this earn permanent tool surface".

@andreapn andreapn closed this Aug 31, 2026
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.

[Feature}:Add Scoped Path Filtering to git_log Built-in Tool

2 participants