Files
nixpkgs/ci/github-script/reviewers.js
Wolfgang Walther 4658d0d5a3 ci/github-script/bot: fix needs reviewer label
The recent change to use the result of requesting reviewers for setting
the `needs: reviewer` label caused a regression: It would not set the
label for PRs where no reviewers were requested, because *too many were
eligible*. Still - these PRs don't have reviewers, so they need
attention otherwise - via the label.
2025-11-06 15:10:58 +01:00

3.9 KiB