From 289cc71e11fe05b9e06f13dd4a3d67401825c82c Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Tue, 28 Apr 2020 14:53:55 +0200
Subject: GitArtifact: force fetch repository

---
 src/artifact.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/artifact.py b/src/artifact.py
index 6f8b871..4b4454d 100644
--- a/src/artifact.py
+++ b/src/artifact.py
@@ -72,7 +72,7 @@ class GitArtifact(Artifact):
         # check if we have already provided this checkout
         if os.path.exists(location):
             try:
-                run_cmd(["git", "fetch"], output_verbosity=1, cwd=location)
+                run_cmd(["git", "fetch", "--force"], output_verbosity=1, cwd=location)
             except CalledProcessError:
                 print_error(f"Failed to update {location}")
                 raise
-- 
cgit v1.2.3