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

3.8 KiB

Raw Blame History

View Raw