fix race fix on local repos

This commit is contained in:
David Turner
2019-08-01 16:13:19 -04:00
committed by Mark Nauwelaerts
parent 60a6c7b36d
commit 9d6d135855

View File

@@ -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')