On 10/28/22 00:04, Stephen J. Turnbull wrote:
Abhilash Raj writes:
> I am not sure I understand this part. Do you mean to say we'd be getting
> too may PRs with "formatting-only" changes?
No, I mean the diffs we do to localize errors. The day after you
merge the reformatting PR, anybody who
Abhilash Raj writes:
> I don't see the tools actually supporting formatting only-diffs.
I don't know if git diff supports everything GNU diff does but
--ignore-all-space would likely help quite a bit.
It shouldn't be that hard to write a blue-diff command for git:
1. create a temporary branche
