Lines Matching refs:pr
16 pr=$1
18 gh pr edit "$pr" --add-label "${COMMIT_QUEUE_FAILED_LABEL}"
25 gh pr comment "$pr" --body "$body"
34 for pr in "$@"; do
35 gh pr view "$pr" --json labels --jq ".labels" > labels.json
38 echo "pr ${pr} skipped, waiting for CI to start"
43 if gh pr checks "$pr" | grep -q "\spending\s"; then
44 echo "pr ${pr} skipped, CI still running"
49 gh pr edit "$pr" --remove-label "$COMMIT_QUEUE_LABEL"
59 git node land --autorebase --yes $MULTIPLE_COMMIT_POLICY "$pr" >output 2>&1 || echo "Failed to land #${pr}"
65 if ! grep -q '. Post "Landed in .*/pull/'"${pr}" output; then
66 commit_queue_failed "$pr"
80 commit_queue_failed "$pr"
85 # TODO: use `gh pr merge` when the GitHub CLI allows to customize the commit title (https://github.com/cli/cli/issues/1023).
96 if ! gh api -X PUT "repos/${OWNER}/${REPOSITORY}/pulls/${pr}/merge" --input output.json > output; then
97 commit_queue_failed "$pr"
102 commit_queue_failed "$pr"
110 gh pr comment "$pr" --body "Landed in $commits"
112 [ -z "$MULTIPLE_COMMIT_POLICY" ] && gh pr close "$pr"