get_pr_details
Fetch a pull request's details by providing the repository owner, repo name, and PR number to support automated GitHub PR review.
Instructions
Get detailed information about a pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | Yes | Repository owner/organization | |
| prNumber | Yes | Pull request number |