(off-list ancestor, not in this archive)
Re: git-diff should not fire up $PAGER if there is no diff · <hidden> · 2016-06-15
Re: git-diff should not fire up $PAGER if there is no diff · Jeff King <hidden> · 2016-06-15
Re: git-diff should not fire up $PAGER if there is no diff · <hidden> · 2016-06-15

Re: git-diff should not fire up $PAGER if there is no diff

From: <hidden>
Date: 2016-06-15 22:45:47

Oh barf, having LESS=F in one's environment messes up less +G:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=508919