From: jidanni@jidanni.org Date: Tue, 16 Dec 2008 00:21:33 GMT Subject: git-diff should not fire up $PAGER if there is no diff Message-ID: <874p15x94i.fsf@jidanni.org> git-diff should not fire up $PAGER if there is no diff output. Just exit. The man page doesn't even mention $PAGER too.