get_pull_request_details
Retrieves pull request metadata including title, description, author, changed file count, additions, deletions, and commit count to assess PR scope before reviewing the diff.
Instructions
Get metadata for a specific pull request.
Returns title, description, author, changed file count, additions,
deletions, and commit count — useful for understanding PR scope before
reading the diff.
Args:
repo_full_name: Full repo identifier in "owner/repo" format.
pr_number: The pull request number.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_full_name | Yes | ||
| pr_number | Yes |