Re: [PATCH v4 0/6] get_short_oid UI improvements
From: Jeff King <hidden>
Date: 2018-05-10 16:04:25
From: Jeff King <hidden>
Date: 2018-05-10 16:04:25
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