diff --git a/.github/workflows/sync-dev-to-vX.Y-dev.yaml b/.github/workflows/sync-dev-to-vX.Y-dev.yaml index 4d873da3fc..57d722d09c 100644 --- a/.github/workflows/sync-dev-to-vX.Y-dev.yaml +++ b/.github/workflows/sync-dev-to-vX.Y-dev.yaml @@ -46,6 +46,9 @@ jobs: --label "Housekeeping" \ --title "$BASE: update from $HEAD" \ --body "Merge \`$HEAD\` into \`$BASE\`.") + echo "PR to sync $DEV_BRANCH: $PR" + + gh pr checks $PR --watch --required || continue gh pr merge $PR --merge --admin done env: