Skip to content

Use edit tool response to construct a better diff#327

Merged
benbrandt merged 1 commit intomainfrom
better-edit-diffs
Feb 18, 2026
Merged

Use edit tool response to construct a better diff#327
benbrandt merged 1 commit intomainfrom
better-edit-diffs

Conversation

@benbrandt
Copy link
Member

No description provided.

@cla-bot cla-bot bot added the cla-signed label Feb 18, 2026
@benbrandt benbrandt enabled auto-merge (squash) February 18, 2026 10:35
@benbrandt benbrandt merged commit f5a5c73 into main Feb 18, 2026
2 checks passed
@benbrandt benbrandt deleted the better-edit-diffs branch February 18, 2026 10:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant