Morph 8532e17243 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.		2023-01-29 19:53:14 -05:00
..
apply-patches-by-label-private.py	chore: make yuzu REUSE compliant	2022-07-27 12:53:49 +02:00
apply-patches-by-label.py	ci: Abort on failure to query Github's API	2023-01-29 19:53:14 -05:00
check-label-presence.py	chore: make yuzu REUSE compliant	2022-07-27 12:53:49 +02:00
yuzubot-git-config.sh	chore: make yuzu REUSE compliant	2022-07-27 12:53:49 +02:00