if [ "$CI_PULL_REQUEST" = "9733" ] || [ "$CI_BRANCH" = "quotations" ]; then ltac2_CI_REF=quotations ltac2_CI_GITURL=https://github.com/gares/ltac2 fi