github_get_pr
Retrieve detailed information about a specific pull request by providing the repository owner, repository name, and pull request number, enabling quick access to PR status, changes, and metadata.
Instructions
Get detailed information about a pull request.
Args: owner: Repository owner repo: Repository name pr_number: PR number session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pr_number | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |