Manage pull requests
Manage GitHub pull requests from a chat with the Pull requests panel. Use it to see a pull request's state beside your work and to hand review comments to the agent.
How it surfaces
Pull requests is a contextual panel in the side panel. It appears only when both are true:
- Your chat's working folder is a Git repository. The chat can belong to a project or not.
- The repository is hosted on GitHub
A non-GitHub Git repository shows Review but not Pull requests. Other Git hosts aren't supported.
Prerequisites
Glean Tau reads and changes pull requests through the GitHub CLI. Install the GitHub CLI (gh) and sign in with gh auth login. Without it, no pull request loads, and the panel shows GitHub CLI is required to load pull requests or GitHub CLI is not signed in.
To open it, select New tab in the side panel, then select Pull requests.
How to use it
- Hand the whole pull request to the agent. Select Ask chat at the top of the panel to add the pull request to the chat prompt.
- Hand all review comments to the agent. Select Ask chat beside the Comments heading to add every comment on the pull request to the chat prompt.
- Hand a single comment to the agent. Select Ask chat in the footer of any comment to add just that comment to the chat prompt.
- Reply to and resolve threads. Each review thread has Reply and Resolve actions, so you can respond without leaving the panel. You can also post a new comment, react to a comment, and edit or delete your own comments.
- Inspect a check. The Checks section shows the state of each check. Select a check to open it on GitHub.
- Fix failing checks. When an open pull request has failing checks, select Fix in the Checks section to ask the agent to fix them. To fix checks on a pull request other than your working one, open its working folder in a chat first.
- Find other pull requests. The Working pull request tab shows the pull request for your current branch. All pull requests lists Your PRs and PRs to review, and you can search or enter a pull request number or URL.
- Edit and merge. Edit the title and description, mark a draft Ready for review, turn automatic merging on or off, Squash and merge, or Close PR. These actions change the pull request on GitHub.
Glean Tau creates or updates a pull request only when you ask it to.
See also
- Get started for engineering users — end-to-end workflow through to a pull request
- Extensions — the full list of extensions and their default states