Unverified Commit d76ffa41 authored by Wolfgang Walther's avatar Wolfgang Walther
Browse files

ci/github-script/bot: fix collaborator warning 

This was introduced shortly before merge of the reviewers.js file, but
not actually tested - I thought it was not easy to find a PR triggering
this warning. However, the scheduled run told me otherwise: The
staging-next PR is the perfect candidate.
parent 62dab73c

ci/github-script/reviewers.js

+1 −1
Original line number Diff line number Diff line
@@ -55,7 +55,7 @@ async function handleReviewers({ 
          return username

        } catch (e) {

          if (e.status !== 404) throw e

          core.warn(

          core.warning(

            `PR #${pull_number}: User ${username} cannot be requested for review because they don't exist or are not a repository collaborator, ignoring. They probably missed the automated invite to the maintainers team (see <https://github.com/NixOS/nixpkgs/issues/234293>).`,

          )

        }