summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.ci/scripts/merge/apply-patches-by-label.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/.ci/scripts/merge/apply-patches-by-label.py b/.ci/scripts/merge/apply-patches-by-label.py
index ab6bebbe5..43ed74d7f 100644
--- a/.ci/scripts/merge/apply-patches-by-label.py
+++ b/.ci/scripts/merge/apply-patches-by-label.py
@@ -19,6 +19,8 @@ def do_page(page):
19 response = requests.get(url) 19 response = requests.get(url)
20 if (response.ok): 20 if (response.ok):
21 j = json.loads(response.content) 21 j = json.loads(response.content)
22 if j == []:
23 return
22 for pr in j: 24 for pr in j:
23 if (check_individual(pr["labels"])): 25 if (check_individual(pr["labels"])):
24 pn = pr["number"] 26 pn = pr["number"]
@@ -28,7 +30,7 @@ def do_page(page):
28 print(subprocess.check_output(["git", "commit", "-m\"Merge %s PR %s\"" % (tagline, pn)])) 30 print(subprocess.check_output(["git", "commit", "-m\"Merge %s PR %s\"" % (tagline, pn)]))
29 31
30try: 32try:
31 for i in range(1,4): 33 for i in range(1,30):
32 do_page(i) 34 do_page(i)
33except: 35except:
34 sys.exit(-1) 36 sys.exit(-1)