From ec609e55de4c2105cad0b224b0d5bdc8696025d0 Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Thu, 29 Nov 2012 00:25:52 +0000
Subject: Add a git pull when updating

This seems necessary, I need to look at this more carefully,
but hoping this at least unbreak the buildbot.
---
(limited to 'devbot')

diff --git a/devbot/build.py b/devbot/build.py
index 7b2e9b4..a0b8c46 100644
--- a/devbot/build.py
+++ b/devbot/build.py
@@ -93,6 +93,7 @@ def _pull_git_module(module):
 
         command.run(["git", "remote", "set-url", "origin", module.repo])
         command.run(["git", "remote", "update", "origin"], retry=10)
+        command.run(["git", "pull"], retry=10)
     else:
         os.chdir(config.get_source_dir())
         command.run(["git", "clone", "--progress", module.repo, module.name],
--
cgit v0.9.1