On Tue, Mar 4, 2008 at 11:00 PM, Peter Harris <[EMAIL PROTECTED]> wrote:
>  I would be very much against it being made the default pager, though,
>  since it doesn't page at all. Worse, I wrote that code to catch the
>  un$PAGERed output of git (git pull, git merge). So removing this from
>  the git core and putting it into a pager would defeat the purpose.

Um.. I was not aware of that. Thanks for the info.
-- 
Duy

Reply via email to