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