summaryrefslogtreecommitdiff
path: root/ci/github-script/reviewers.js
AgeCommit message (Expand)Author
29 hoursci/github-script/bot: handle deleted maintainer accounts gracefullyPhilip Taron
2025-11-22ci/github-script/reviewers: convert all usernames to lowercase (part 2)Michael Daniels
2025-11-22ci/github-script/reviewers: convert all usernames to lowercaseMichael Daniels
2025-11-06ci/github-script/reviewers: add TODO about future optimizationWolfgang Walther
2025-11-06ci/github-script/reviewers: exit early for treewidesWolfgang Walther
2025-11-06ci/github-script/bot: fix needs reviewer labelWolfgang Walther
2025-11-06ci/github-script/bot: fix collaborator warningWolfgang Walther
2025-11-05ci/github-script/reviewers: improve "needs: reviewers" labelWolfgang Walther
2025-11-05ci/github-script/bot: request reviewersWolfgang Walther