From: Antoine Pelisse Date: Sat, 10 Aug 2013 15:18:11 GMT Subject: Re: [PATCH v2 0/2] remote-hg: shared repo upgrade fix Message-ID: In-Reply-To: <1376087884-32060-1-git-send-email-felipe.contreras@gmail.com> On Sat, Aug 10, 2013 at 12:38 AM, Felipe Contreras wrote: > Hi, > > Same as before, except with commit messages updated, and improved the second > patch: > > --- a/contrib/remote-helpers/git-remote-hg > +++ b/contrib/remote-helpers/git-remote-hg > @@ -400,8 +400,9 @@ def get_repo(url, alias): > local_hg = os.path.join(shared_path, x, 'clone', '.hg') > if not os.path.exists(local_hg): > continue > - shutil.copytree(local_hg, hg_path) > - break > + if not os.path.exists(hg_path): > + shutil.move(local_hg, hg_path) > + shutil.rmtree(os.path.join(shared_path, x, 'clone')) > > # setup shared repo (if not there) > try: FWIW, Reviewed-by: Antoine Pelisse Cheers,