get_pull_request
Retrieve details of a specific pull request by providing the repository owner, name, and pull request number. Use this to access pull request information for review or automation.
Instructions
Get a single pull request in a GitHub repository. Docs: https://docs.github.com/en/rest/pulls/pulls#get-a-pull-request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (user or organization login) | |
| pull_number | Yes | Pull request number |