Uh oh!
There was an error while loading. Please reload this page.
Add tool to list repo collaborators - #2477
Merged
Merged
Conversation
Contributor
There was a problem hiding this comment.
Pull request overview
Adds a new read-only MCP tool list_repository_collaborators that wraps the GitHub REST endpoint for listing repository collaborators, returning a minimal output (login, ID, role name) and supporting an optional affiliation filter plus standard pagination. Implementation follows the existing tool patterns in pkg/github/repositories.go.
Changes:
- New tool
ListRepositoryCollaboratorsregistered inAllToolsunder the Repos toolset. - New
MinimalCollaboratoroutput type and corresponding toolsnap, table-driven tests, and README entry. - Required
reposcope; supportsaffiliation(outside/direct/all) and pagination params.
Show a summary per file
| File | Description |
|---|---|
| pkg/github/repositories.go | Implements ListRepositoryCollaborators tool handler. |
| pkg/github/tools.go | Registers the new tool in AllTools. |
| pkg/github/minimal_types.go | Adds MinimalCollaborator struct for trimmed output. |
| pkg/github/toolsnaps/list_repository_collaborators.snap | Snapshot of the new tool schema. |
| pkg/github/repositories_test.go | Adds schema and behavioral tests for the new tool. |
| README.md | Documents the new tool. |
Copilot's findings
- Files reviewed: 6/6 changed files
- Comments generated: 1
Uh oh!
There was an error while loading. Please reload this page.
JoannaaKLforce-pushed
the
add-repo-collaborators
branch
from
May 14, 2026 10:48
0c7c819 to
2a66879CompareUh oh!
There was an error while loading. Please reload this page.
RossTarrant
previously approved these changes
May 15, 2026
This was referenced May 25, 2026
SamMorrowDrums pushed a commit
that referenced
this pull request
Jun 8, 2026
* Add tool to list repo collaborators * Simplify tool description * Fix test * Return pagination info * Return page parameters * Update defaults
SamMorrowDrums pushed a commit
that referenced
this pull request
Jun 8, 2026
* Add tool to list repo collaborators * Simplify tool description * Fix test * Return pagination info * Return page parameters * Update defaults
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 freeto 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.
Summary
Add new tool
list_repository_collaborators. It uses REST API endpoint endpoint.Why
It will enable more fine - grained visibility into repo settings.
What changed
list_repository_collaboratorsaddedMCP impact
Security / limits
Tool renaming
deprecated_tool_aliases.goNote: if you're renaming tools, you must add the tool aliases. For more information on how to do so, please refer to the official docs.
Lint & tests
./script/lint./script/testDocs