if ! git remote add $NODE $DEPLOY_USER@$NODE:arvados-setup.git ; then
git remote set-url $NODE $DEPLOY_USER@$NODE:arvados-setup.git
fi
if ! git remote add $NODE $DEPLOY_USER@$NODE:arvados-setup.git ; then
git remote set-url $NODE $DEPLOY_USER@$NODE:arvados-setup.git
fi
ssh $NODE git -C arvados-setup pull
ssh $DEPLOY_USER@$NODE "cd arvados-setup && sudo ./provision.sh --config local.params --roles ${NODES[$NODE]}"
ssh $NODE git -C arvados-setup pull
ssh $DEPLOY_USER@$NODE "cd arvados-setup && sudo ./provision.sh --config local.params --roles ${NODES[$NODE]}"