Merge "don't clone a repo if it already exists"

This commit is contained in:
Jenkins 2016-05-09 15:52:39 +00:00 committed by Gerrit Code Review
commit c96599b87e

View File

@ -56,6 +56,9 @@ def commit_exists(repo, ref):
def clone_repo(workdir, repo):
"Check out the code."
dest = os.path.join(workdir, repo)
if os.path.exists(dest):
return
cmd = [
'zuul-cloner',
'--workspace', workdir,