From: David Kastrup <dak@gnu.org>
Date: Wed, 18 Jul 2007 21:50:23 GMT
Subject: Proposal about --help options and man calls
Message-ID: <85y7hdwfds.fsf@lola.goethe.zz>


Frequently, git somecommand --help will call the man command to
display help pages.  I think that when it does so, it should pass the
value of the GIT_PAGER variable copied into the PAGER variable: the
paging happens on behalf of git here.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum