From: Jeff King <peff@peff.net>
Date: Thu, 10 May 2018 16:04:07 GMT
Subject: Re: [PATCH v4 0/6] get_short_oid UI improvements
Message-ID: <20180510160407.GD6462@sigill.intra.peff.net>
In-Reply-To: <20180510124303.6020-1-avarab@gmail.com>

On Thu, May 10, 2018 at 12:42:57PM +0000, Ævar Arnfjörð Bjarmason wrote:

> This is like v3 except all the patches to the peel syntax & docs have
> been dropped, which were controversial.
> 
> I think it's worthwhile to re-work that, but I don't have time for
> that now, so I'm submitting this. Maybe I'll have time in the future
> to re-work the rest, but then I can base it on top of this.

I'm not quite on-board with the final patch, but with the exception of a
few nits I sent already, the first 5 look good to me.

-Peff