Docker: Reintroduce GIT_BRANCH

Sometimes a dashboard run fails because a recent commit advanced the HEAD and Github does not allow fetching unadvertised commits.
cp2k · May 3, 2019 · 16a2dd5 · 16a2dd5
1 parent efb4dd7
commit 16a2dd5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/docker/scripts/ci_entrypoint.sh b/tools/docker/scripts/ci_entrypoint.sh
@@ -18,7 +18,7 @@ shopt -u nullglob
 if [ -n "${GIT_REF}" ]; then
     echo -e "\n========== Fetching Git Commit =========="
     cd /workspace/cp2k
-    git fetch origin "${GIT_REF}"
+    git fetch origin "${GIT_BRANCH}"
     git -c advice.detachedHead=false checkout "${GIT_REF}"
     git submodule update --init --recursive
     git --no-pager log -1 --pretty='%nCommitSHA: %H%nCommitTime: %ci%nCommitAuthor: %an%nCommitSubject: %s%n'