Docker: Use git reset instead of checkout

cp2k · Sep 12, 2019 · b97225a · b97225a
1 parent c27c7b5
commit b97225a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/docker/scripts/ci_entrypoint.sh b/tools/docker/scripts/ci_entrypoint.sh
@@ -18,8 +18,8 @@ shopt -u nullglob
 if [ -n "${GIT_REF}" ]; then
     echo -e "\n========== Fetching Git Commit =========="
     cd /workspace/cp2k
-    git fetch origin "${GIT_BRANCH}"
-    git -c advice.detachedHead=false checkout "${GIT_REF}"
+    git fetch --quiet origin "${GIT_BRANCH}"
+    git reset --quiet --hard "${GIT_REF}"
     git submodule update --init --recursive
     git --no-pager log -1 --pretty='%nCommitSHA: %H%nCommitTime: %ci%nCommitAuthor: %an%nCommitSubject: %s%n'