On 25 Jul 2013, at 21:12, Felipe Contreras <felipe.contreras@xxxxxxxxx> wrote:
>> […]
>> ---
>> contrib/remote-helpers/git-remote-hg | 2 +-
>> 1 file changed, 1 insertion(+), 1 deletion(-)
>>
>> diff --git a/contrib/remote-helpers/git-remote-hg b/contrib/remote-helpers/git-remote-hg
>> index 0194c67..f4e9d1c 100755
>> --- a/contrib/remote-helpers/git-remote-hg
>> +++ b/contrib/remote-helpers/git-remote-hg
>> @@ -390,7 +390,7 @@ def get_repo(url, alias):
>> if not os.path.exists(dirname):
>> os.makedirs(dirname)
>> else:
>> - shared_path = os.path.join(gitdir, 'hg')
>> + shared_path = os.path.join(gitdir, 'hg', '.shared')
>> if not os.path.exists(shared_path):
>> try:
>> hg.clone(myui, {}, url, shared_path, update=False, pull=True)
>> --
>> 1.8.3.4
>
> I don't like this approach because if it's a huge repository the user
> would have to clone again, not only if he was using v1.8.3, but also
> if he was using the latest and greatest (because you are changing the
> location again). t's relatively trivial to move from the old to the
> shared organization, so that's what I vote for. Besides, I don't see
> the point of having a '.shared/.hg' directory, and nothing else on
> that '.shared' folder.
Agreed… it just was the shortest possible fix with an in my POV minor optimisation drawback of once refetching...
--
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