2 commits

Author	SHA1	Message	Date
Wolfgang Walther	e68b0aef13	ci/github-script/reviewers: improve "needs: reviewers" label ... This should fix the bug where the "needs: reviewer" label was set too early, just to be removed immediately, because reviewers were then requested.	2025-11-05 21:59:02 +01:00
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