diff options
| author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 00:42:13 (GMT) |
|---|---|---|
| committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-29 00:42:13 (GMT) |
| commit | eb5a527d79b2b1cadc23298a15e6cb88eb845af1 (patch) | |
| tree | ba72f8fb5feb6a5adbe109f37ba3867929f3f203 | |
| parent | ec609e55de4c2105cad0b224b0d5bdc8696025d0 (diff) | |
Revert "Add a git pull when updating"
This reverts commit ec609e55de4c2105cad0b224b0d5bdc8696025d0.
| -rw-r--r-- | devbot/build.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devbot/build.py b/devbot/build.py index a0b8c46..7b2e9b4 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -93,7 +93,6 @@ 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], |