github_get_pr_details
Retrieve specific pull request details including metadata, changes, and review information from GitHub repositories to support code analysis.
Instructions
Get details of a specific pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repoId | Yes | Repository name in format owner/repo | |
| prId | Yes | Pull Request number |