diff --git a/tools/start-ci.sh b/tools/start-ci.sh index 4b66966812..528c3544b1 100755 --- a/tools/start-ci.sh +++ b/tools/start-ci.sh @@ -5,6 +5,7 @@ set -xe GITHUB_TOKEN=$1 OWNER=$2 REPOSITORY=$3 +API_URL=https://api.github.com REQUEST_CI_LABEL='request-ci' REQUEST_CI_FAILED_LABEL='request-ci-failed' shift 3