Skip to content

Commit

Permalink
chore: Fixes in common.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
rsenden committed Sep 17, 2024
1 parent 4472c21 commit 32cc1e9
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions internal/run-script/scripts/common.sh
Original file line number Diff line number Diff line change
Expand Up @@ -261,12 +261,12 @@ function doSetup {
# GITHUB_* environment variables are available, and GITHUB_REF_NAME points to
# a PR.
function doPRComment {
[[ ("${DO_PR_COMMENT}" == "true" || -n "${PR_COMMENT_ACTION}" || -n "${PR_COMMENT_EXTRA_OPTS}") \
&& -n "${GITHUB_TOKEN}" ] \
&& -n "${GITHUB_REPOSITORY_OWNER}" ] \
&& -n "${GITHUB_REPOSITORY}" ] \
&& -n "${GITHUB_REF_NAME}" ] \
&& -n "${GITHUB_SHA}" ] \
[[ ("${DO_PR_COMMENT}" == "true" || -n "${PR_COMMENT_ACTION}" || -n "${PR_COMMENT_EXTRA_OPTS}")
&& -n "${GITHUB_TOKEN}"
&& -n "${GITHUB_REPOSITORY_OWNER}"
&& -n "${GITHUB_REPOSITORY}"
&& -n "${GITHUB_REF_NAME}"
&& -n "${GITHUB_SHA}"
&& "${GITHUB_REF_NAME}" == */merge ]]
}

Expand Down

0 comments on commit 32cc1e9

Please sign in to comment.