get-pull-request-data
Extract comprehensive GitHub Pull Request details, including files, diffs, comments, and reviews, for efficient analysis and review processes.
Instructions
Get detailed information about a GitHub Pull Request including files, diff, comments, and reviews
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | GitHub repository owner | |
| pullNumber | Yes | Pull request number | |
| repo | Yes | GitHub repository name | |
| token | No | GitHub personal access token (optional) |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"owner": {
"description": "GitHub repository owner",
"type": "string"
},
"pullNumber": {
"description": "Pull request number",
"type": "number"
},
"repo": {
"description": "GitHub repository name",
"type": "string"
},
"token": {
"description": "GitHub personal access token (optional)",
"type": "string"
}
},
"required": [
"owner",
"repo",
"pullNumber"
],
"type": "object"
}