Allow parallel gitdir attemptsmake-git-clones-atomic

1 files changed, 3 insertions, 4 deletions

diff --git a/repos.py b/repos.py
index cc57616..c41b05c 100644
--- a/repos.py
+++ b/repos.py
@@ -26,6 +26,7 @@ import requests
 
 import app
 import utils
+import tempfile
 
 
 if sys.version_info.major == 2:
@@ -107,10 +108,8 @@ def get_tree(this):
 
 
 def mirror(name, repo):
-    gitdir = os.path.join(app.config['gits'], get_repo_name(repo))
-    tmpdir = gitdir + '.tmp'
-    if os.path.isdir(tmpdir):
-        shutil.rmtree(tmpdir)
+    tempfile.tempdir = app.config['tmp']
+    tmpdir = tempfile.mkdtemp()
     repo_url = get_repo_url(repo)
     try:
         os.makedirs(tmpdir)