Re: [PATCH v3 00/12] get_short_oid UI improvements
- From
Derrick Stolee <stolee@gmail.com>
- Date
- May 2, 2018, 12:42 UTC
- 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:
Show 6 quoted lines
> 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