On 25 Jul 2013, at 01:02, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Joern Hees <dev@xxxxxxxxxxxx> writes: >> >> Changing shared_path to ".git/hg/.shared" will solve this problem > > Here you say "shared" and the code says "share"; which one is > preferred (I know either would work, but we would want to be > consistent). > > I'd vote for "shared", but I do not see a compelling reason to pick > one over the other so…? ok, v3 coming... -- 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