krebs.build.populate fetch_git: checkout with force

This commit is contained in:
tv 2016-02-19 19:12:09 +01:00
parent 2ff36bad03
commit 1226a20038

View File

@ -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