X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/5e3f6c9ad492c43044c88ebdc7eea6bdff667f46..55353c4828cb181531c19199b1f438ad7b24b01f:/tools/salt-install/installer.sh diff --git a/tools/salt-install/installer.sh b/tools/salt-install/installer.sh index d41c50e8c5..36e87cca91 100755 --- a/tools/salt-install/installer.sh +++ b/tools/salt-install/installer.sh @@ -103,8 +103,15 @@ sync() { # from that. $SSH $DEPLOY_USER@$NODE git init --bare --shared=0600 ${GITTARGET}.git - $GIT push $NODE $BRANCH - $SSH $DEPLOY_USER@$NODE "umask 0077 && git clone -s ${GITTARGET}.git ${GITTARGET} && git -C ${GITTARGET} checkout ${BRANCH}" + if [[ "$BRANCH" == "HEAD" ]]; then + # When deploying from an individual commit instead of a branch. This can + # happen when deploying from a Jenkins pipeline. + $GIT push $NODE HEAD:refs/heads/HEAD + $SSH $DEPLOY_USER@$NODE "umask 0077 && git clone -s ${GITTARGET}.git ${GITTARGET} && git -C ${GITTARGET} checkout remotes/origin/HEAD" + else + $GIT push $NODE $BRANCH + $SSH $DEPLOY_USER@$NODE "umask 0077 && git clone -s ${GITTARGET}.git ${GITTARGET} && git -C ${GITTARGET} checkout ${BRANCH}" + fi fi } @@ -274,7 +281,7 @@ terraform-destroy) ;; generate-tokens) - for i in BLOB_SIGNING_KEY MANAGEMENT_TOKEN SYSTEM_ROOT_TOKEN ANONYMOUS_USER_TOKEN WORKBENCH_SECRET_KEY DATABASE_PASSWORD; do + for i in BLOB_SIGNING_KEY MANAGEMENT_TOKEN SYSTEM_ROOT_TOKEN ANONYMOUS_USER_TOKEN DATABASE_PASSWORD; do echo ${i}=$( tr -dc A-Za-z0-9