From f9393b531120bce0ed5ed6742b8b3a594d9b4307 Mon Sep 17 00:00:00 2001 From: pedro Date: Tue, 23 Jan 2024 10:42:42 +0100 Subject: [PATCH] build_common: no branches, main; ensure git dir --- build__common.sh | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/build__common.sh b/build__common.sh index f44905a..e1bae23 100644 --- a/build__common.sh +++ b/build__common.sh @@ -16,10 +16,14 @@ common_start() { detach='-d' fi - # ensure uses pilot-pangea branch + # ensure uses pilot-pangea branch and it is up to date ( cd ./IdHub - git checkout ${pilot} + if [ -d .git ]; then + #git checkout ${pilot} + git checkout main + git pull + fi ) # some pilots might use idhub1 and/or idhub2