diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2020-04-28 14:53:55 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2020-04-28 14:53:55 +0200 |
| commit | 289cc71e11fe05b9e06f13dd4a3d67401825c82c (patch) | |
| tree | 04cd0af4c68537e4cb06f8893f5e3bdf3a99962b | |
| parent | 0eaeee1973a9e5ee698774df13ad2fdc86216210 (diff) | |
| download | allocbench-289cc71e11fe05b9e06f13dd4a3d67401825c82c.tar.gz allocbench-289cc71e11fe05b9e06f13dd4a3d67401825c82c.zip | |
GitArtifact: force fetch repository
| -rw-r--r-- | src/artifact.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 |