Re: [PATCH] remote-hg: Fix cloning and sharing bug
- From
Antoine Pelisse <apelisse@gmail.com>
- Date
- Aug 4, 2013, 13:59 UTC
- Message-ID
- <CALWbr2zYD-ELajVkybQfbqXTJSu67K=Y1v3SdtTgCPZHaO46BA@mail.gmail.com>
- In-Reply-To
- <CAMP44s2DhS=B3fTD-FCrkUK=h4hWuBN6n6mqEws2qh=YiBegJw@mail.gmail.com>
Show 34 quoted lines
> --- a/contrib/remote-helpers/git-remote-hg.py
> +++ b/contrib/remote-helpers/git-remote-hg.py
> @@ -391,11 +391,22 @@ def get_repo(url, alias):
> os.makedirs(dirname)
> else:
> shared_path = os.path.join(gitdir, 'hg')
> - if not os.path.exists(shared_path):
> - try:
> - hg.clone(myui, {}, url, shared_path, update=False, pull=True)
> - except:
> - die('Repository error')
> +
> + # check and upgrade old organization
> + hg_path = os.path.join(shared_path, '.hg')
> + if os.path.exists(shared_path) and not os.path.exists(hg_path):
> + repos = os.listdir(shared_path)
> + for x in repos:
> + local_hg = os.path.join(shared_path, x, 'clone', '.hg')
> + if not os.path.exists(local_hg):
> + continue
> + shutil.copytree(local_hg, hg_path)
> +
> + # setup shared repo (if not there)
> + try:
> + hg.peer(myui, {}, shared_path, create=True)
> + except error.RepoError:
> + pass
>
> if not os.path.exists(dirname):
> os.makedirs(dirname)
>
> It should also work in all the cases, but there would not be an extra
> unnecessary clone while upgrading, and it doesn't sneak in any other
> changes.That's fine with me. Indeed, we can think about "cloning local repos" in a separate thread if needed. I clearly don't have a strong opinion about that.
Would you mind squashing your changes into a patch ?
Cheers,