Skip to content

fix(git): don't use external diff tools when getting git diff#519

Open
muni-corn wants to merge 1 commit intodi-sukharev:masterfrom
muni-corn:no-ext-diff
Open

fix(git): don't use external diff tools when getting git diff#519
muni-corn wants to merge 1 commit intodi-sukharev:masterfrom
muni-corn:no-ext-diff

Conversation

@muni-corn
Copy link

i use difftastic, and it was common for LLMs to think that no diff was provided because difftastic can eliminate enough context to make diffs person-readable, but not LLM-readable.

adding --no-ext-diff to our git diff command should help to avoid this.

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.

1 participant