We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c936fad commit f4a4a48Copy full SHA for f4a4a48
scripts/release/version.sh
@@ -38,6 +38,7 @@ if which gh 2>/dev/null 1>/dev/null; then
38
git switch "$BASE_BRANCH"
39
git branch -D "$BRANCH"
40
41
+ sleep 3 # Give GitHub time to start CI before we check it
42
. "$(dirname "$0")/wait-for-pr.sh" "$BRANCH"
43
while [ "$(gh pr view "$BRANCH" --json state -q .state)" != 'MERGED' ]; do
44
sleep 3 # Wait for GitHub to auto-merge the PR
0 commit comments