diff --git a/pr-deploy.sh b/pr-deploy.sh index 19d31520..bc7caee5 100644 --- a/pr-deploy.sh +++ b/pr-deploy.sh @@ -52,7 +52,7 @@ cleanup() { PID=$(jq -r --arg key "$PR_ID" '.[$key] // ""' "${PID_FILE}") if [ -n "$PID" ]; then - kill -9 "$PID" + kill -9 "$PID" || true jq --arg key "$PR_ID" 'del(.[$key])' "${PID_FILE}" > "${PID_FILE}.tmp" && mv "${PID_FILE}.tmp" "${PID_FILE}" fi @@ -64,6 +64,8 @@ cleanup() { sleep 1 } +whoami + REPO_ID=$(curl -L \ -H "Accept: application/vnd.github+json" \ -H "Authorization: Bearer $GITHUB_TOKEN" \