'fetch' git repository instead of 'pull'.

'git pull' try to change the repo's HEAD and thus, refuse to operate on
a detach branch.
This commit is contained in:
Matthieu Gautier 2017-01-30 17:27:03 +01:00
parent f5dff05a55
commit ea86fea926
1 changed files with 1 additions and 1 deletions

View File

@ -390,7 +390,7 @@ class GitClone(Source):
self.buildEnv.run_command(command, self.buildEnv.source_dir, context)
def _git_update(self, context):
self.buildEnv.run_command("git pull", self.git_path, context)
self.buildEnv.run_command("git fetch", self.git_path, context)
self.buildEnv.run_command("git checkout "+self.git_ref, self.git_path, context)
def prepare(self):