-
Notifications
You must be signed in to change notification settings - Fork 2k
Add get_teams
and get_team_members
tools
#834
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Conversation
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
This PR adds a new get_teams
tool to retrieve GitHub team memberships for users across their organizations.
- Introduces
GetTeams
function that uses both REST and GraphQL APIs to fetch team data - Adds comprehensive test coverage for the new tool including success, error, and edge cases
- Updates the default toolset to include the new teams tool in the context tools group
Reviewed Changes
Copilot reviewed 5 out of 5 changed files in this pull request and generated 1 comment.
Show a summary per file
File | Description |
---|---|
pkg/github/tools.go | Registers the new GetTeams tool in the context toolset |
pkg/github/context_tools.go | Implements the GetTeams function with GraphQL querying logic |
pkg/github/context_tools_test.go | Adds comprehensive test suite for the GetTeams functionality |
pkg/github/toolsnaps/get_teams.snap | Tool snapshot for testing framework |
README.md | Documents the new get_teams tool in the available tools section |
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
get_teams
toolget_teams
and get_team_members
tools
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.
This PR adds two new tools in the context_tools toolset:
get_team_members - Get team members
org
: Organization login (owner) that contains the team. (string, required)team_slug
: Team slug (string, required)get_teams - Get teams
user
: Username to get teams for. If not provided, uses the authenticated user. (string, optional)Closes: https://github.com/github/copilot-agent-services/issues/270 and #366