diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-06-24 20:52:50 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-06-25 08:51:12 +0200 |
| commit | 579bfd48daf875aea88171c1fa6abccf4b21a956 (patch) | |
| tree | 6fb11810daea09147e76e3fec3ad033be90e845f /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | ddf3480d49ba35240e324644015ccb2422379679 (diff) | |
workflows/labels: use /pulls endpoint instead of search for "all" pull requests
It's necessary to use a combination of different endpoints here, because
the /search endpoint only allows fetching the first 1000 items and will
fail with a higher page number (11+). On the flip side, the /pulls
endpoint doesn't allow counting the total number of results, so we can't
calculate the required page number with its response.
Putting both together should work, though.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions