From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 15 Jun 2012 21:18:15 GMT
Subject: Re: [PATCH 0/2] diff --no-index pager cleanups
Message-ID: <7v1ulg9svc.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120615202813.GA12253@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> While testing Tim's broken case, I noticed a few annoyances with the
> pager handling. These patches should clear them up.
>
>   [1/2]: fix pager.diff with diff --no-index
>   [2/2]: do not run pager with diff --no-index --quiet

Both look sane to me.  Thanks.