feature/add-create-repo-script #2

Merged
hzhang merged 3 commits from feature/add-create-repo-script into main 2026-04-01 00:45:19 +00:00
Showing only changes of commit 32332bea41 - Show all commits

View File

@@ -5,7 +5,7 @@ set -euo pipefail
SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)" SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
if [[ -z "${AGENT_WORKSPACE:-}" ]]; then if [[ -z "${AGENT_WORKSPACE:-}" ]]; then
echo "Error: AGENT_WORKSPACE environment variable is not set" echo "Error: script must be executed by pcexec"
exit 1 exit 1
fi fi