On Mon, Jul 1, 2013 at 11:56 PM, Junio C Hamano <gits...@pobox.com> wrote: > Johan Herland <jo...@herland.net> writes: >> On Tue, May 21, 2013 at 5:35 PM, Junio C Hamano <gits...@pobox.com> 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, <jo...@herland.net> www.herland.net -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html