2 commits

Author	SHA1	Message	Date
Wolfgang Walther	b46cb23251	ci/github-script/commits: init from ci/check-cherry-picks ... This turns the check-cherry-pick script into a github-script based JavaScript program. This makes it much easier to extend to check reverts or merge commits later on.	2025-07-16 11:50:13 +02:00
Wolfgang Walther	2192c5b6e8	ci/github-script: extract common withRateLimit.js ... This can and should be re-used across different scripts.	2025-07-14 13:49:39 +02:00