GitHub PR Management Tool

Create, read, and list GitHub pull requests, including diffs, CI status, and reviews.

The GitHub Pull Request Tool allows DinoAI to manage pull requests directly from the Paradime IDE, keeping you in flow while handling the full PR lifecycle — from creation to review — without switching context.

This tool bridges the gap between active development and code review, enabling DinoAI to create, read, and list pull requests so you can stay focused on building while keeping your team's workflow moving.

Requires GitHub integration. Before using this tool, make sure you've connected your GitHub account in Paradime. See Connecting GitHub to Paradime for setup instructions.

Capabilities

The GitHub Pull Request Tool exposes three actions DinoAI can perform on your behalf.

create_pull_request

Creates a new pull request against your connected GitHub repository. Specifically, it:

• Creates a new pull request from a specified branch

• Supports title, body, branch selection, and draft mode

read_pull_request

Fetches the full details of an existing pull request. Specifically, it:

• Retrieves PR details by number

• Includes code diffs, CI status, reviews, and comments

list_pull_requests

Discovers and filters pull requests across your repository. Specifically, it:

• Lists pull requests with flexible filtering

• Supports state, branch, sort options, and pagination

Using the GitHub Pull Request Tool

1. Open DinoAI in the right panel of the Code IDE

2. Describe the PR action you want to perform — create, read, or list

3. Provide the relevant details such as a PR number, branch name, or filter criteria

4. Grant permission when DinoAI asks to access your GitHub repository

5. Review and implement DinoAI's suggested actions

Example Use Cases

Creating a Draft Pull Request

Prompt

Create a draft PR from feature/add-sources into main titled 'Add sources'.

Result: DinoAI creates a new draft pull request with the specified title, source branch, and target branch, ready for you to add a description and request reviewers when the work is complete.

Reviewing PR Changes and Feedback

Prompt

Read PR #42 and summarize the changes and reviewer feedback.

Result: DinoAI fetches the full pull request details including the code diff, CI status, and reviewer comments, then summarizes the key changes and outstanding feedback so you can act on it quickly.

Listing Open Pull Requests

Prompt

List open PRs targeting main, newest first.

Result: DinoAI queries your repository for open pull requests filtered to the target branch, sorted by most recently created, giving you a clear picture of what's in flight across your team.

Working with Other Tools

The GitHub Pull Request Tool works well alongside DinoAI's other capabilities to support your full development workflow:

• Combine with the Terminal Tool to run dbt commands and validate changes before opening a PR

• Combine with the Linear Tool to reference issue IDs in PR titles and descriptions, keeping tickets and code changes linked

• Use alongside Git Lite to commit and push your changes before creating a pull request

You'll need appropriate permissions on the connected GitHub repository for DinoAI to manage pull requests. DinoAI will request permission each time it needs to interact with GitHub.

Best Practices

• Use draft mode early — Open draft PRs as soon as a branch is ready for visibility, and convert to ready for review when the work is complete

• Include context in your prompt — When creating a PR, provide a clear description of the changes so DinoAI can generate a useful PR body for reviewers

• Read before you merge — Use the read_pull_request action to review CI status and outstanding comments before merging to avoid surprises

• Combine with Linear — Reference Linear issue IDs in your PR titles and descriptions to keep your team's task tracking and code review workflows in sync