diff options
author | tv <tv@krebsco.de> | 2016-02-19 19:12:09 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-02-20 02:02:08 +0100 |
commit | 1226a20038fa61e8a98b31f223a59b244dd6cd03 (patch) | |
tree | 84bc12efa71b000f995074ce58eab3e35a19bbeb | |
parent | 2ff36bad032df0900e13a3ec743b09064c3d07c6 (diff) |
krebs.build.populate fetch_git: checkout with force
-rw-r--r-- | krebs/3modules/build.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/3modules/build.nix b/krebs/3modules/build.nix index 08a7cd047..d4c6b08df 100644 --- a/krebs/3modules/build.nix +++ b/krebs/3modules/build.nix @@ -116,7 +116,7 @@ let if ! test "$(git log --format=%H -1)" = "$hash"; then git fetch origin git checkout "$hash" -- "$dst_dir" - git checkout "$hash" + git checkout -f "$hash" fi git clean -dxf |