fixup! ci: add opam-rt branch lookup for the form of username/branchname

ocaml · Nov 27, 2024 · 279c276 · 279c276
1 parent a99d8b5
commit 279c276
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/main/main.sh b/.github/scripts/main/main.sh
@@ -127,7 +127,7 @@ if [ "$OPAM_TEST" = "1" ]; then
   fi
   cd $CACHE/opam-rt
   git fetch origin
-  if [ "$GITHUB_EVENT_NAME" = "pull_request" ] && git ls-remote --exit-code origin $GITHUB_PR_USER/$BRANCH ; then
+  if [ "$GITHUB_EVENT_NAME" = "pull_request" ] && git ls-remote --exit-code origin "$GITHUB_PR_USER/$BRANCH" ; then
     BRANCH=$GITHUB_PR_USER/$BRANCH
   fi
   if git ls-remote --exit-code origin $BRANCH ; then