diff --git a/scripts/pr b/scripts/pr index 709cdb35f50..dc0f4e2fc57 100755 --- a/scripts/pr +++ b/scripts/pr @@ -485,10 +485,6 @@ run_prepare_push_retry_gates() { fi } -PUSH_PREP_HEAD_SHA="" -PUSHED_FROM_SHA="" -PR_HEAD_SHA_AFTER_PUSH="" - push_prep_head_to_pr_branch() { local pr="$1" local pr_head="$2" @@ -496,6 +492,7 @@ push_prep_head_to_pr_branch() { local lease_sha="$4" local rerun_gates_on_lease_retry="${5:-false}" local docs_only="${6:-false}" + local result_env_path="${7:-.local/push-result.env}" setup_prhead_remote @@ -574,10 +571,11 @@ push_prep_head_to_pr_branch() { exit 1 } git branch -D "pr-$pr-verify" 2>/dev/null || true - - PUSH_PREP_HEAD_SHA="$prep_head_sha" - PUSHED_FROM_SHA="$pushed_from_sha" - PR_HEAD_SHA_AFTER_PUSH="$pr_head_sha_after" + cat > "$result_env_path" <