2 commits

Author	SHA1	Message	Date
Wolfgang Walther	f6770229fa	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. (cherry picked from commit e68b0aef13)	2025-11-06 08:40:35 +00:00
Wolfgang Walther	080501dcba	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. (cherry picked from commit a23d0ab24c)	2025-11-06 08:40:35 +00:00