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.
merge_spark_pr.py
1 parent 58575ab commit 0fbcc27Copy full SHA for 0fbcc27
dev/merge_spark_pr.py
@@ -610,7 +610,11 @@ def main():
610
branch_names = sorted(branch_names, reverse=True)
611
branch_iter = iter(branch_names)
612
613
- pr_num = bold_input("Which pull request would you like to merge? (e.g. 34): ")
+ if len(sys.argv) == 1:
614
+ pr_num = bold_input("Which pull request would you like to merge? (e.g. 34): ")
615
+ else:
616
+ pr_num = sys.argv[1]
617
+ print("Start to merge pull request #%s" % (pr_num))
618
pr = get_json("%s/pulls/%s" % (GITHUB_API_BASE, pr_num))
619
pr_events = get_json("%s/issues/%s/events" % (GITHUB_API_BASE, pr_num))
620
0 commit comments