diff --git a/ci/get_float_ref_branch_name.sh b/ci/get_float_ref_branch_name.sh index 0d791b6f5c0cd7221e59f50c4cfb3a1a76acf6b7..6c183bfb4856acada7e3270a7ae60704f45928b4 100755 --- a/ci/get_float_ref_branch_name.sh +++ b/ci/get_float_ref_branch_name.sh @@ -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