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. Thanks. -- 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