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	6f6c625026	ci/github-script: move from ci/labels ... This just moves things around to use less specific naming - `labels` is only *one* script that can potentially be run locally while still being written in github-script. Later, we can add more.	2025-07-14 10:35:13 +02:00