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

29 B

Raw Permalink Blame History

View Raw