diff --git a/scripts/release/publish.sh b/scripts/release/publish.sh index cf700cfae8..81a9c6a154 100755 --- a/scripts/release/publish.sh +++ b/scripts/release/publish.sh @@ -36,7 +36,7 @@ if which gh >/dev/null; then git branch -D "$BRANCH" # Wait for CI to complete - ./wait-for-pr.sh "$BRANCH" + . "$(dirname "$0")/wait-for-pr.sh" "$BRANCH" if ! gh pr checks --fail-fast --watch; then echo 'CI failed. Cannot continue with release.' gh pr view "$BRANCH" --web diff --git a/scripts/release/version.sh b/scripts/release/version.sh index d634a84e0b..b6b373999a 100755 --- a/scripts/release/version.sh +++ b/scripts/release/version.sh @@ -38,7 +38,7 @@ if which gh 2>/dev/null 1>/dev/null; then git switch "$BASE_BRANCH" git branch -D "$BRANCH" - ./wait-for-pr.sh "$BRANCH" + . "$(dirname "$0")/wait-for-pr.sh" "$BRANCH" while [ "$(gh pr view "$BRANCH" --json state -q .state)" != 'MERGED' ]; do sleep 3 # Wait for GitHub to auto-merge the PR done