Re: [PATCH v3 00/12] get_short_oid UI improvements
- From
Jacob Keller <jacob.keller@gmail.com>
- Date
- May 3, 2018, 06:43 UTC
- Message-ID
- <CA+P7+xraqcnvg274_zaJO5Je1sJDfmEL=-orFZ4hL1Sg26Cd9Q@mail.gmail.com>
- In-Reply-To
- <385be5ef-7d0d-7e5d-4373-4d85c1a36a0d@gmail.com>
On Wed, May 2, 2018 at 6:45 AM, Derrick Stolee <stolee@gmail.com> wrote:
Show 20 quoted lines
> On 5/2/2018 8:42 AM, Derrick Stolee wrote: >> >> 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. > > > Also, v3 looks good to me. > > Reviewed-by: Derrick Stolee <dstolee@microsoft.com> >
I also reviewed this, and it looks good to me as well.
Thanks, Jake