On 25 Jul 2013, at 01:02, Junio C Hamano <gits...@pobox.com> wrote: > Joern Hees <d...@joernhees.de> 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 majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
