From: Derrick Stolee <stolee@gmail.com>
Date: Wed, 02 May 2018 12:42:38 GMT
Subject: Re: [PATCH v3 00/12] get_short_oid UI improvements
Message-ID: <f35aeda5-8f41-f457-736e-393e95f530ec@gmail.com>
In-Reply-To: <20180501184016.15061-1-avarab@gmail.com>

On 5/1/2018 2:40 PM, Ævar Arnfjörð Bjarmason wrote:
> The biggest change in v3 is the no change at all to the code, but a
> lengthy explanation of why I didn't go for Derrick's simpler
> implementation. Maybe I'm wrong about that, but I felt uneasy
> offloading undocumented (or if I documented it, it would only be for
> this one edge-case) magic on the oid_array API. Instead I'm just
> making this patch a bit more complex.

I think that's fair. Thanks for going along with me on the thought 
experiment.

-Stolee