From 727ec148132e2cbb16a21a157215e3a8c5e68866 Mon Sep 17 00:00:00 2001 From: David Schultz Date: Mon, 25 Sep 2023 17:09:27 -0500 Subject: [PATCH] work with git older than 2.28 --- install_icetray/Dockerfile_install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install_icetray/Dockerfile_install b/install_icetray/Dockerfile_install index 7314d64..b762a13 100644 --- a/install_icetray/Dockerfile_install +++ b/install_icetray/Dockerfile_install @@ -23,7 +23,7 @@ RUN echo $VERSION RUN mkdir /usr/local/icetray_src WORKDIR /usr/local/icetray_src -RUN git init -b ${VERSION} && git config advice.detachedHead false +RUN git init && git checkout -b ${VERSION} && git config advice.detachedHead false RUN --mount=type=secret,id=GHTOKEN GHTOKEN=$(cat /run/secrets/GHTOKEN) && curl -sS -f -I -H "Authorization: token ${GHTOKEN}" https://api.github.com && \ git pull --depth 1 https://${GHTOKEN}@github.com/icecube/icetray.git ${VERSION} RUN echo ${VERSION} > /usr/local/icetray_src/version_tag