GitHub

Access and interact with GitHub: search repositories and code, explore file trees and directory structures, manage repositories (branches, releases, issues, PRs), view notifications, and perform actions like starring or pushing files.

Category: Pending
Primary Subcategory: Pending

View in the Grok registry

Integration details

Description

Integration type: Connector
Verification status: Not applicable
Platform: Grok
Category: Pending
Primary Subcategory: Pending
Secondary Subcategories: None listed
Brand: Github
Access: Unknown
First tracked: 2026-09-22
Tool count: 43
Geography: US

Tools

43 tools agents can invoke

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 not sure).
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 number as issue_number), but only if user is not asking specifically to add review comments.
Add a reply to an existing pull request comment. This creates a new comment that is linked as a reply to the specified comment.
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 changes to resolve the issue More information can be found at: - https://docs.github.com/en/copilot/using-github-copilot/using-copilot-coding-agent-to-work-on-tasks/about-assigning-tasks-to-copilot
Create a new branch in a GitHub repository
Create or update a single file in a GitHub repository. If updating, you should provide the SHA of the file you want to update. Use this tool to create or update a file in a GitHub repository remotely; do not use it for local file operations. In order to obtain the SHA of original file version before updating, use the following git command: git ls-tree HEAD <path to file> If the SHA is not provided, the tool will attempt to acquire it by fetching the current file contents from the repository, which may lead to rewriting latest committed changes if the file has changed since last retrieval.
Create a new pull request in a GitHub repository.
Delegate a task to GitHub Copilot coding agent to perform in the background. The agent will create a pull request with the implementation. You should use this tool if the user asks to create a pull request to perform a specific task, or if the user asks Copilot to do something.
Create a new GitHub repository in your account or specified organization
Delete a file from a GitHub repository
Fork a GitHub repository to your account or specified organization
Get details for a commit from a GitHub repository
Get the status of a GitHub Copilot coding agent job. Use this to check if a previously submitted task has completed and to get the pull request URL once it's created. Provide the job ID (from create_pull_request_with_copilot) or pull request number (from assign_copilot_to_issue), or any pull request you want agent sessions for.
Get the contents of a file or directory from a GitHub repository
Get a specific label from a repository.
Get the latest release in a GitHub repository
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 build other tool calls.
Get a specific release by its tag name in a GitHub repository
Get details about a specific git tag in a GitHub repository
Get member usernames of a specific team in an organization. Limited to organizations accessible with current credentials
Get details of the teams the user is a member of. Limited to organizations accessible with current credentials
Get information about a specific issue in a GitHub repository.
Create a new or update an existing issue in a GitHub repository.
List branches in a GitHub repository
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 perPage parameter (up to 100).
List supported issue types for repository owner (organization).
List issues in a GitHub repository. For pagination, use the 'endCursor' from the previous response's 'pageInfo' in the 'after' parameter.
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.
List releases in a GitHub repository
List git tags in a GitHub repository
Merge a pull request in a GitHub repository.
Get information on a specific pull request in GitHub repository.
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 provided, the review is submitted. If "event" is omitted, a pending review is created. - submit_pending: Submit an existing pending review of a pull request. This requires that a pending review exists for the current user on the specified pull request. The "body" and "event" parameters are used when submitting the review. - delete_pending: Delete an existing pending review of a pull request. This requires that a pending review exists for the current user on the specified pull request.
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.
Fast and precise code search across ALL GitHub repositories using GitHub's native search engine. Best for finding exact symbols, functions, classes, or specific code patterns.
Search for issues in GitHub repositories using issues search syntax already scoped to is:issue
Search for pull requests in GitHub repositories using issues search syntax already scoped to is:pr
Find GitHub repositories by name, description, readme, topics, or other metadata. Perfect for discovering projects, finding examples, or locating specific repositories across GitHub.
Find GitHub users by username, real name, or other profile information. Useful for locating developers, contributors, or team members.
Add a sub-issue to a parent issue in a GitHub repository.
Update an existing pull request in a GitHub repository.
Update the branch of a pull request with the latest changes from the base branch.

GitHub FAQ

How do I improve a Grok Connector's discoverability?

The levers are the listing surface agents actually read: names, descriptions, keywords, tool metadata, and registry health. Which lever matters depends on where discovery breaks, which is what continuous measurement shows.

Where is this profile measured?

This profile uses the geography attached to the latest public registry snapshot: US. Locale tags are intentionally omitted.

Get alerts for GitHub

43 tools agents can invoke