Sync external-PR reviewer list with opensource-review-team - #1154
Open
noahho wants to merge 1 commit into
Open
Conversation
The list had drifted: psinger-prior and bejaeger were being assigned reviews on tabpfn-extensions despite not being members of opensource-review-team. Everyone on the team was already present, so this is a removal of the two extras. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Contributor
There was a problem hiding this comment.
Pull request overview
This pull request syncs the repository’s external/Dependabot reviewer source list (.github/pr-reviewers.txt) with the opensource-review-team roster by removing two usernames that are not on the team, preventing them from being auto-assigned as reviewers.
Changes:
- Removed
bejaegerfrom.github/pr-reviewers.txt. - Removed
psinger-priorfrom.github/pr-reviewers.txt. - Kept the remaining reviewer order unchanged to minimize diff noise.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
oscarkey
approved these changes
Aug 5, 2026
Contributor
|
@noahho do we want to merge this? |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Brings
.github/pr-reviewers.txtback in line with theopensource-review-teamroster.Why
psinger-priorandbejaegerwere being assigned reviews on external and Dependabot PRs in tabpfn-extensions (#368, #369, #370) despite not being members ofopensource-review-team. This file is the actual source of reviewers —assign-pr-reviewer.ymlfetches it over raw.githubusercontent — so it had silently drifted from the team it is meant to mirror.Checked in both directions: every current team member was already in the file, so this is only the removal of the two extras. Order of the remaining eight is unchanged to keep the diff readable.
psinger-prior,bejaegerIf either of them should be reviewing OSS PRs, the fix is to add them to
opensource-review-teamand re-sync rather than to revert this.Two things this does not fix
tabpfn-extensions/.github/CODEOWNERSis empty (0 bytes).assign-pr-reviewer.ymlonly fires when nothing else has requested a reviewer, and its comment assumes CODEOWNERS covers some paths — so in that repo every external and Dependabot PR falls through to the random picker.reviewers[Math.floor(Math.random() * reviewers.length)]is why one person drew two PRs in a row. Either request the team and let GitHub's own review assignment round-robin it (opensource-review-teamalready has push on the relevant repos, so no PAT is needed, contrary to the workflow comment), or make it deterministic withpr_number % reviewers.length.Note for anyone editing this file later: the workflow parses it with
.filter(Boolean), so it has no comment syntax — a#header line would be treated as a username.🤖 Generated with Claude Code