diff options
Diffstat (limited to 'devbot/build.py')
| -rw-r--r-- | devbot/build.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devbot/build.py b/devbot/build.py index 097ab08..b04989f 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -70,11 +70,12 @@ def pull_source(module): os.chdir(module_dir) command.run(["git", "remote", "set-url", "origin", module["repo"]]) - command.run(["git", "remote", "update", "origin"]) + command.run(["git", "remote", "updat", "origin"], retry=10) else: os.chdir(config.source_dir) command.run(["git", "clone", "--progress", - module["repo"], module["name"]]) + module["repo"], module["name"]], + retry=10) os.chdir(module_dir) branch = module.get("branch", "master") |