Wolfgang Walther a23d0ab24c ci/github-script/bot: request reviewers ...

This migrates the bash code to request reviewers to github-script. This
will allow multiple nice improvements later on, but at this stage it's
mostly a reduction in code and complexity.

2025-11-05 21:58:56 +01:00

6.7 KiB

Raw Blame History

View Raw