Re: [PATCH v4 0/6] get_short_oid UI improvements

2018-05-10 Thread Jeff King
On Thu, May 10, 2018 at 12:42:57PM +, Æ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.

[PATCH v4 0/6] get_short_oid UI improvements

2018-05-10 Thread Ævar Arnfjörð Bjarmason
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