On Wed, May 23, 2012 at 05:40:46PM +0200, Felipe Contreras wrote: > What do we gain by this incredible user annoyance? Less maintenance > burden of __gitdir() which barely changes anyway? I happen to have a topic in the works which changes __gitdir() and adds some helper functions to it, so the diffstat of all __gitdir()-related changes is this: 1 file changed, 71 insertions(+), 6 deletions(-) Gábor -- 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