diff options
author | Morph <[email protected]> | 2023-01-29 19:19:24 -0500 |
---|---|---|
committer | Morph <[email protected]> | 2023-01-29 19:53:14 -0500 |
commit | 8532e172433ba7d3501cd17352946e6e5c4b9d21 (patch) | |
tree | 1572ebdc7aa2a9b44d627358f2f298b947df3f26 /.ci | |
parent | 5f4647df7da58aa22be21dd26cfa6de7c5f106c9 (diff) | |
download | yuzu-android-8532e172433ba7d3501cd17352946e6e5c4b9d21.tar.gz yuzu-android-8532e172433ba7d3501cd17352946e6e5c4b9d21.zip |
ci: Abort on failure to query Github's API
This raises an exception if the GET request to Github's API returns anything other than 200 OK, ensuring we always have successful merges of tagged PRs.
Also, reduces the number of queried pages from 29 to 9 to reduce the number of requests.
Diffstat (limited to '.ci')
-rw-r--r-- | .ci/scripts/merge/apply-patches-by-label.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.ci/scripts/merge/apply-patches-by-label.py b/.ci/scripts/merge/apply-patches-by-label.py index 8ddc8ff34..3c5952aa1 100644 --- a/.ci/scripts/merge/apply-patches-by-label.py +++ b/.ci/scripts/merge/apply-patches-by-label.py @@ -20,6 +20,7 @@ def check_individual(labels): def do_page(page): url = 'https://api.github.com/repos/yuzu-emu/yuzu/pulls?page=%s' % page response = requests.get(url) + response.raise_for_status() if (response.ok): j = json.loads(response.content) if j == []: @@ -33,7 +34,7 @@ def do_page(page): print(subprocess.check_output(["git", "commit", "-m\"Merge %s PR %s\"" % (tagline, pn)])) try: - for i in range(1,30): + for i in range(1,10): do_page(i) except: traceback.print_exc(file=sys.stdout) |