From: Felipe Contreras Date: Fri, 09 Aug 2013 20:03:00 GMT Subject: [PATCH 1/2] remote-hg: simplify shared repo setup Message-ID: <1376078581-24766-2-git-send-email-felipe.contreras@gmail.com> In-Reply-To: <1376078581-24766-1-git-send-email-felipe.contreras@gmail.com> We don't need the initial clone, if the repository is shared, pulling from the child updates the parent's storage; it's exactly the same as cloning. Signed-off-by: Felipe Contreras --- contrib/remote-helpers/git-remote-hg | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/contrib/remote-helpers/git-remote-hg b/contrib/remote-helpers/git-remote-hg index 0194c67..cfd4f53 100755 --- a/contrib/remote-helpers/git-remote-hg +++ b/contrib/remote-helpers/git-remote-hg @@ -391,11 +391,12 @@ 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') + + # 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) -- 1.8.3.267.gbb4989f