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