gh_get_pr
Retrieve details of a specific GitHub pull request by providing the owner, repo, and PR number. Access title, status, and other metadata.
Instructions
Get details of a specific pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| number | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| url | Yes | ||
| state | Yes | ||
| title | Yes | ||
| author | No | ||
| labels | No | ||
| number | Yes | ||
| isDraft | No | ||
| closedAt | No | ||
| comments | No | ||
| additions | No | ||
| createdAt | No | ||
| deletions | No | ||
| updatedAt | No | ||
| baseRefName | No | ||
| headRefName | No | ||
| changedFiles | No |