diff options
| -rw-r--r-- | .ci/scripts/merge/apply-patches-by-label.py | 4 |
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 | ||
| 30 | try: | 32 | try: |
| 31 | for i in range(1,4): | 33 | for i in range(1,30): |
| 32 | do_page(i) | 34 | do_page(i) |
| 33 | except: | 35 | except: |
| 34 | sys.exit(-1) | 36 | sys.exit(-1) |