Commit f29a79fc authored by Jan Kiene's avatar Jan Kiene
Browse files

make git check for branch on remote as well 

in CI container, sometimes the reference branch was not locally
available and fetching did not bring it in scope...
parent 62664dec

ci/get_float_ref_branch_name.sh

+1 −1
Original line number Diff line number Diff line
@@ -50,7 +50,7 @@ if ! [[ "$branchname" =~ $BASOP_PATTERN ]]; then 
fi



float_ref_branchname="${branchname/basop/ref}"

git_result=$(git branch --list "$float_ref_branchname")

git_result=$(git branch -av --list "$float_ref_branchname")



# If the branch does not exist, default to "float-pc"

if [[ -z "$git_result" ]]; then