GitHub tools
GitHub tools let you interact with your GitHub repositories directly from Glean, so agents can create and review pull requests, read files from specific branches, and fetch workflow logs without leaving Glean. After you connect GitHub and configure the GitHub app, these tools run with the permissions granted to your GitHub installation, honoring your organization and repository access controls while automating common engineering workflows such as drafting PR descriptions, inspecting diffs, and debugging CI failures through Glean.
You can use GitHub tools to do the following:
- Create a PR
- Create a branch
- Edit code
- Read a file from a branch
- Fetch logs for a workflow
- Find a diff for a PR
The following are the supported GitHub tools that you can use to create workflows. These tools are available for both Glean Agents and Glean Assistant.
Get a pull request
"Retrieves details for an existing pull request"
Create a review comment for a pull request
Creates a review comment for a pull request
Get repository content
Fetches files and folders from a GitHub repository at a specific path or branch
List commits
Gets commit history from a GitHub repository with filtering and pagination options
List repository contributors
Lists repository contributors
List repositories for the authenticated user
Lists repositories for the authenticated user
Star a repository for the authenticated user
Stars a GitHub repository on behalf of the authenticated user
Get the authenticated user
Retrieves profile information for the currently authenticated GitHub user
Get a user
Retrieves the public profile information for a specific GitHub user by username
List repository collaborators
Lists users with direct access permissions to a specific GitHub repository
Search repositories
Searches GitHub repositories by query with optional sorting and pagination
List repository languages
Lists the programming languages detected in a specific GitHub repository
Create or update file contents
Creates a new file or updates an existing file in a GitHub repository
List repositories for a user
Lists public repositories owned by a specific GitHub user
List repository issues
Lists issues from a specific GitHub repository with filtering and pagination options
Get a commit
Retrieves details of a specific commit from a GitHub repository by branch name or commit SHA