Checkout orchestra next-master

revng · Mar 2, 2021 · 8a29885 · 8a29885
1 parent 815bc89
commit 8a29885
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.orchestra/ci/ci.sh b/.orchestra/ci/ci.sh
@@ -47,7 +47,11 @@ if test -n "$PUSHED_REF"; then
 
         # Switch orchestra to that branch too, if it exists
         git fetch
-        git checkout "$BRANCH" || true
+        git checkout "$BRANCH" \
+            || git checkout next-develop \
+            || git checkout develop \
+            || git checkout next-master \
+            || git checkout master
     else
         log "PUSHED_REF ($PUSHED_REF) is not a branch, bailing out"
         exit 0