On Mon, Jul 1, 2013 at 11:56 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Johan Herland <johan@xxxxxxxxxxx> writes: >> On Tue, May 21, 2013 at 5:35 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: >>> ... I think we can go either way, and the above "I think this is >>> being rerolld" was primarily keeping the options open. >> >> You're right. No point in setting things prematurely in stone. I'll >> fold jh/shorten-refname into the ongoing series. > > Ping? > > No need to hurry, but just to make sure this didn't disappear from > everybody's radar. Still on my radar, but progress has been slow lately. Will hopefully make some progress in the coming weeks. ...Johan -- Johan Herland, <johan@xxxxxxxxxxx> www.herland.net -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html