Github

Create a new pull request in a GitHub repository.

Find GitHub users by username, real name, or other profile information. Useful for locating developers, contributors, or team members.

List issues in a GitHub repository. For pagination, use the 'endCursor' from the previous response's 'pageInfo' in the 'after' parameter.

List supported issue types for repository owner (organization).

Create and/or submit, delete review of a pull request. Available methods: - create: Create a new review of a pull request. If "event" parameter is pr...

Create or update a single file in a GitHub repository. If updating, you must provide the SHA of the file you want to update. Use this tool to create o...

Assign Copilot to a specific issue in a GitHub repository. This tool can help with the following outcomes: - a Pull Request created with source code ...

List git tags in a GitHub repository

Add review comment to the requester's latest pending pull request review. A pending review needs to already exist to call this (check with the user if...

Find GitHub repositories by name, description, readme, topics, or other metadata. Perfect for discovering projects, finding examples, or locating spec...

Create a new GitHub repository in your account or specified organization

Get details of the authenticated GitHub user. Use this when a request is about the user's own profile for GitHub. Or when information is missing to bu...

Get information about a specific issue in a GitHub repository.

Get the latest release in a GitHub repository

Get information on a specific pull request in GitHub repository.

Delete a file from a GitHub repository

Fork a GitHub repository to your account or specified organization

Get list of commits of a branch in a GitHub repository. Returns at least 30 results per page by default, but can return more if specified using the pe...

Create a new branch in a GitHub repository

Get the contents of a file or directory from a GitHub repository

Add a comment to a specific issue in a GitHub repository. Use this tool to add comments to pull requests as well (in this case pass pull request numbe...

Search for issues in GitHub repositories using issues search syntax already scoped to is:issue

Get a specific label from a repository.

List releases in a GitHub repository

Get a specific release by its tag name in a GitHub repository

Get details of the teams the user is a member of. Limited to organizations accessible with current credentials

List pull requests in a GitHub repository. If the user specifies an author, then DO NOT use this tool and use the search_pull_requests tool instead.

Get details for a commit from a GitHub repository

Create a new or update an existing issue in a GitHub repository.

Fast and precise code search across ALL GitHub repositories using GitHub's native search engine. Best for finding exact symbols, functions, classes, o...

List branches in a GitHub repository

Update an existing pull request in a GitHub repository.

Get details about a specific git tag in a GitHub repository

Search for pull requests in GitHub repositories using issues search syntax already scoped to is:pr

Push multiple files to a GitHub repository in a single commit

Request a GitHub Copilot code review for a pull request. Use this for automated feedback on pull requests, usually before requesting a human reviewer.

Update the branch of a pull request with the latest changes from the base branch.

Get member usernames of a specific team in an organization. Limited to organizations accessible with current credentials

Add a sub-issue to a parent issue in a GitHub repository.

Merge a pull request in a GitHub repository.