Re:Git scraping: track changes over time by scraping to a Gi...
by WorldMaker on Friday August 11, 2023 @11:06AM
(#37089535)
It doesn't help fix GitHub UI views, but you can use the --tool option to git diff and configure alternative diff tools in your git config, including something like piping through a pretty printer or using a (generally much slower) character-based diff tool rather than a line-based one.
[ Parent
| on HN ]
There are no comments on this comment yet.