From: Jörn Hees <dev@joernhees.de>
Date: Thu, 25 Jul 2013 00:42:21 GMT
Subject: Re: [PATCH v2] remotes-hg: bugfix for fetching non local remotes
Message-ID: <6EDE159E-66C2-4CD8-B6D8-9960C681A3FB@joernhees.de>
In-Reply-To: <7vd2q75zoo.fsf@alter.siamese.dyndns.org>


On 25 Jul 2013, at 01:02, Junio C Hamano <gitster@pobox.com> wrote:
> Joern Hees <dev@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...