From 0e58bfedfdda27b8efb85319a4b8d41037babcc2 Mon Sep 17 00:00:00 2001
From: Zach Hilman <zachhilman@gmail.com>
Date: Tue, 1 Oct 2019 21:54:26 -0400
Subject: [PATCH] ci: Check additional pages on GitHub
---
.ci/scripts/merge/apply-patches-by-label.py | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/.ci/scripts/merge/apply-patches-by-label.py b/.ci/scripts/merge/apply-patches-by-label.py
index ab6bebbe55..43ed74d7f0 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):
response = requests.get(url)
if (response.ok):
j = json.loads(response.content)
+ if j == []:
+ return
for pr in j:
if (check_individual(pr["labels"])):
pn = pr["number"]
@@ -28,7 +30,7 @@ def do_page(page):
print(subprocess.check_output(["git", "commit", "-m\"Merge %s PR %s\"" % (tagline, pn)]))
try:
- for i in range(1,4):
+ for i in range(1,30):
do_page(i)
except:
sys.exit(-1)