From ab7dc2d7b0e2964eafc387f3dd73e52afd0332de Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Tue, 20 Nov 2012 09:06:23 +0000
Subject: Retry git commands that requires the network

---
(limited to 'devbot/build.py')

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")
--
cgit v0.9.1