1#!/bin/bash 2 3set -Eeuo pipefail 4source /workspace/gitpod/scripts/ws-deploy.sh deployment public-api-server 5 6