Merge pull request #643 from glacambre/wip/override-fetch-setting

git.py(git_cmd): always pass "-c" "fetch.prune=false" to git
AdaCore · Jan 8, 2024 · 86972f6 · 86972f6
2 parents 28fb01a + de4efc6
commit 86972f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/e3/vcs/git.py b/src/e3/vcs/git.py
@@ -133,7 +133,7 @@ def git_cmd(
         if output == GIT_LOG_STREAM:
             output = self.log_stream
 
-        p_cmd = [arg for arg in cmd if arg is not None]
+        p_cmd = ["-c", "fetch.prune=false"] + [arg for arg in cmd if arg is not None]
         p_cmd.insert(0, self.__class__.git)
 
         p = e3.os.process.Run(p_cmd, cwd=self.working_tree, output=output, **kwargs)