Skip to content

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

Open
wants to merge 26 commits into
base: main
Choose a base branch
from
Open

Conversation

mattdholloway
Copy link
Contributor

@mattdholloway mattdholloway commented Aug 7, 2025

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

@mattdholloway mattdholloway self-assigned this Aug 7, 2025
@mattdholloway mattdholloway marked this pull request as ready for review August 7, 2025 14:07
@mattdholloway mattdholloway requested a review from a team as a code owner August 7, 2025 14:07
@Copilot Copilot AI review requested due to automatic review settings August 7, 2025 14:07
Copilot

This comment was marked as outdated.

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@mattdholloway mattdholloway changed the title Add get_my_teams tool Add get_teams tool Aug 8, 2025
@mattdholloway mattdholloway requested a review from Copilot August 8, 2025 15:38
Copilot

This comment was marked as outdated.

@mattdholloway mattdholloway requested a review from Copilot August 11, 2025 09:30
Copy link
Contributor

@Copilot Copilot AI left a 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>
@mattdholloway mattdholloway changed the title Add get_teams tool Add get_teams and get_team_members tools Aug 11, 2025
Copy link
Contributor

@Copilot Copilot AI left a 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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants