get_issue_or_pr
Retrieve detailed information for a GitHub issue or pull request by its number, including repository context, to support analysis and decision-making.
Instructions
Get details for a specific issue or pull request by its number.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | No | GitHub user or organization name (optional if GITHUB_OWNER is set) | |
| issue_number | Yes | The number of the issue or pull request |