From: Stefan Hajnoczi <stefanha@redhat.com>
Date: Tue, 14 Feb 2017 09:43:20 GMT
Subject: Re: [PATCH v2 2/2] grep: use '/' delimiter for paths
Message-ID: <20170214094320.GA23310@stefanha-x1.localdomain>
In-Reply-To: <20170209052034.ksoupjcj4qs7x4hz@sigill.intra.peff.net>

On Thu, Feb 09, 2017 at 12:20:34AM -0500, Jeff King wrote:
> On Wed, Feb 08, 2017 at 09:14:17PM -0800, Junio C Hamano wrote:
> > Jeff King <peff@peff.net> writes:
> (I _do_ think Stefan's proposed direction is worth it simply because the
> result is easier to read, but I agree the whole thing can be avoided by
> using pathspecs, as you've noted).

I won't be pushing this series further due to limited time.

Stefan