diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-11-06 16:11:36 +0100 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-11-06 16:17:17 +0100 |
| commit | 17199e5ff6d970c47338c22b07e5e39e305f2a8b (patch) | |
| tree | c597d5f420a5d7628ce70fe9f06d98084b108e2f /ci | |
| parent | 9efe926863c5d4e087057fe610ef9eb73fa942a7 (diff) | |
ci/github-script/reviewers: add TODO about future optimization
We still use a few too many API requests by checking team members for
collaborator status - we can improve on that in the future.
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/github-script/reviewers.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/github-script/reviewers.js b/ci/github-script/reviewers.js index eefa87e36d65..07a77a5fec0d 100644 --- a/ci/github-script/reviewers.js +++ b/ci/github-script/reviewers.js @@ -75,6 +75,9 @@ async function handleReviewers({ const reviewers = ( await Promise.all( Array.from(new_reviewers, async (username) => { + // TODO: Restructure this file to only do the collaborator check for those users + // who were not already part of a team. Being a member of a team makes them + // collaborators by definition. try { await github.rest.repos.checkCollaborator({ ...context.repo, |
