From 9d6d135855bdd6a722a9073eb10de1dab33c2918 Mon Sep 17 00:00:00 2001 From: David Turner Date: Thu, 1 Aug 2019 16:13:19 -0400 Subject: [PATCH] fix race fix on local repos --- git-remote-hg | 1 + 1 file changed, 1 insertion(+) diff --git a/git-remote-hg b/git-remote-hg index c1c7558..7088c70 100755 --- a/git-remote-hg +++ b/git-remote-hg @@ -456,6 +456,7 @@ def get_repo(url, alias): repo = hg.repository(myui, url) if not os.path.exists(dirname): os.makedirs(dirname) + branchmap = repo.branchmap() else: shared_path = os.path.join(gitdir, 'hg')