Skip to content
Snippets Groups Projects
Commit 6933d56e authored by Alessandro Di Federico's avatar Alessandro Di Federico
Browse files

CI: checkout appropriate orchestra branch

parent 7843ad8c
No related branches found
No related tags found
No related merge requests found
Pipeline #3107 canceled
......@@ -43,16 +43,16 @@ BRANCH=""
if test -n "$PUSHED_REF"; then
if [[ "$PUSHED_REF" = refs/heads/* ]]; then
BRANCH="${PUSHED_REF#refs/heads/}"
# Switch orchestra to that branch too, if it exists
git fetch
git checkout "$BRANCH" || true
else
log "PUSHED_REF ($PUSHED_REF) is not a branch, bailing out"
exit 0
fi
fi
# Switch orchestra to that branch too, if it exists
git fetch
git checkout "$BRANCH" || true
#
# Install orchestra
#
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment