diff options
| author | Zach Hilman <zachhilman@gmail.com> | 2019-10-02 03:54:26 +0200 |
|---|---|---|
| committer | Zach Hilman <zachhilman@gmail.com> | 2019-10-02 03:54:26 +0200 |
| commit | 0e58bfedfdda27b8efb85319a4b8d41037babcc2 (patch) | |
| tree | 1a8611be62cfe444b9b507feec59f7d9197f9b3b /.ci/scripts | |
| parent | ci: Iterate through GitHub pages for pull requests (diff) | |
| download | yuzu-0e58bfedfdda27b8efb85319a4b8d41037babcc2.tar yuzu-0e58bfedfdda27b8efb85319a4b8d41037babcc2.tar.gz yuzu-0e58bfedfdda27b8efb85319a4b8d41037babcc2.tar.bz2 yuzu-0e58bfedfdda27b8efb85319a4b8d41037babcc2.tar.lz yuzu-0e58bfedfdda27b8efb85319a4b8d41037babcc2.tar.xz yuzu-0e58bfedfdda27b8efb85319a4b8d41037babcc2.tar.zst yuzu-0e58bfedfdda27b8efb85319a4b8d41037babcc2.zip | |
Diffstat (limited to '.ci/scripts')
| -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): 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) |