From ea86fea9269bbb95e324c62d2641d4f6ae5f1efc Mon Sep 17 00:00:00 2001
From: Matthieu Gautier <mgautier@kymeria.fr>
Date: Mon, 30 Jan 2017 17:27:03 +0100
Subject: [PATCH] 'fetch' git repository instead of 'pull'.

'git pull' try to change the repo's HEAD and thus, refuse to operate on
a detach branch.
---
 kiwix-build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kiwix-build.py b/kiwix-build.py
index 092d726..845aa19 100755
--- a/kiwix-build.py
+++ b/kiwix-build.py
@@ -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):