From b984e19b84cb47bbc712f622556275d3edc2c945 Mon Sep 17 00:00:00 2001 From: Dongjoon Hyun Date: Wed, 13 Aug 2025 14:09:10 -0700 Subject: [PATCH] [SPARK-53277][INFRA] Improve `merge_spark_pr.py` to stop early in case of the closed PRs --- dev/merge_spark_pr.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/dev/merge_spark_pr.py b/dev/merge_spark_pr.py index e9e82b010032f..5a7ec75db56c3 100755 --- a/dev/merge_spark_pr.py +++ b/dev/merge_spark_pr.py @@ -613,6 +613,11 @@ def main(): pr_num = bold_input("Which pull request would you like to merge? (e.g. 34): ") pr = get_json("%s/pulls/%s" % (GITHUB_API_BASE, pr_num)) + # Stop if the PR is closed + if pr["state"] == "closed": + print("#%s is closed already." % (pr_num)) + sys.exit(-1) + pr_events = get_json("%s/issues/%s/events" % (GITHUB_API_BASE, pr_num)) url = pr["url"]