git: Run diff with --no-ext-diff

Skydio / revup

Effortlessly create and manage pull requests without changing branches. Powers a stacked diffs workflow with python and git "plumbing" commands.

https://github.com/Skydio/revup

MIT License

309 stars 59 forks source link

git: Run diff with --no-ext-diff #142

Closed jerry-skydio closed 7 months ago

jerry-skydio commented 7 months ago

Users can install a custom diff frontend for "git diff" that displays diffs in a different format, but is not compatible with patch-id. To make sure this doesn't break revup, run diffs with --no-ext-diff to ensure that only core diff is used.

jerry-skydio commented 7 months ago

Reviews in this chain: └https://github.com/Skydio/revup/pull/142 git: Run diff with --no-ext-diff

jerry-skydio commented 7 months ago

#	head	base	diff	date	summary
0	3ec82351	a05fd5eb	diff	Jan 22 13:08 PM	1 file changed, 1 insertion(+)