Re: [PATCH] Don't use the pager when running "git diff --check"
From: Junio C Hamano <hidden> Date: 2016-06-15 22:43:59
Wincent Colaiuta [off-list ref] writes:
I'll integrate these (and the other suggestions) some time this
morning and post a new version of the series that incorporates all the
feedback and patch suggestions.
Heh, I am about to push out fixed-up results, so it might save both of
us some time if you looked at it first and then complained on my
screwups.