summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorWolfgang Walther <walther@technowledgy.de>2025-11-06 16:11:36 +0100
committerWolfgang Walther <walther@technowledgy.de>2025-11-06 16:17:17 +0100
commit17199e5ff6d970c47338c22b07e5e39e305f2a8b (patch)
treec597d5f420a5d7628ce70fe9f06d98084b108e2f /ci
parent9efe926863c5d4e087057fe610ef9eb73fa942a7 (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.js3
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,