dcdpr / jp / 25501572885

66%

Build Type

push

github

Committed by web-flow

Commit Message

chore(tools): Add `git_diff_file` and fix deleted-file diff bugs (#621)

`git_diff` truncates each file's diff at 50 lines to keep the overview
manageable. Previously, users had to re-run with `paths` to see a full
diff, but `git_diff` applied the same per-file cap regardless — there
was no escape hatch.

`git_diff_file` fills that gap. It is the working-tree analog of
`git_diff_commit`: given a `status` and a required `paths` list, it
returns the full diff for those files, with an optional `pattern`
parameter to grep within large diffs (same behavior as
`git_diff_commit`). Diffs beyond 500 lines are truncated and the user is
directed to use `pattern`.

To share the `grep_diff` and `truncate_diff` logic between
`git_diff_commit` and `git_diff_file`, those helpers were extracted into
a new `diff_filter` module.

Two bugs in `git_diff` were also fixed:

- Deleted-file paths caused `git diff-index` and `git diff-files` to
abort with "fatal: no such path in the working tree" because git
resolved paths against the working tree before the `--` separator.
Adding `--` to both commands fixes this.
- A non-zero git exit with empty stdout was previously reported as "No
changes." instead of surfacing the actual error. The tool now returns an
error outcome in that case.

The `git_diff` tool description and skill config were updated to clarify
that `paths` narrows the file overview but does not bypass the per-file
truncation cap, and to point users to `git_diff_file` when they need a
full diff.

---------

Signed-off-by: Jean Mertz <git@jeanmertz.com>

Coverage Stats

206 of 218 new or added lines in 4 files covered. (94.5%)

1 existing line in 1 file now uncovered.

25668 of 38785 relevant lines covered (66.18%)

205.38 hits per line