From d8f4347038b8e861c1cd013fbcaa7c7d1adf74d4 Mon Sep 17 00:00:00 2001 From: Destiny Saturday Date: Sat, 3 Aug 2024 00:21:17 +0100 Subject: [PATCH] Update pr-deploy.sh Signed-off-by: Destiny Saturday --- pr-deploy.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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" \