Re: [PATCH v2 2/2] grep: use '/' delimiter for paths
- From
- Stefan Hajnoczi <stefanha@redhat.com>
- Date
- Feb 14, 2017, 09:43 UTC
- 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:
Show 5 quoted lines
> 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