| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | ci/github-script/labels: limit cutoff to max 1 day•••It has only happened once, but the GitHub API suddenly returned a
workflow run from a few weeks back. This lead to quickly hitting the
rate limit for search requests.
Prevent this from happening by going back a day max for the "recently
updated" case. After roughly a day, every PR will have been touched by
the regular batch processing anyway.
Also save a few API requests, by taking bigger chunks of the search
result.
| Wolfgang Walther | 2025-07-20 | 1 | -4/+10 |
| * | ci/github-script: extract common withRateLimit.js•••This can and should be re-used across different scripts.
| Wolfgang Walther | 2025-07-14 | 1 | -63/+8 |
| * | ci/github-script: default to commonjs•••Since all github-scripts need to be written in commonjs, we now default
to it by not setting package.json. Support from editors for .js files is
slightly better than .cjs. To still allow using module imports in the
test runner script, we trick node into loading the script itself as a
module again via `--import ./run`.
| Wolfgang Walther | 2025-07-14 | 1 | -0/+463 |
