Github Get Pr Content
github_get_pr_contentFetches a specific pull request’s content and details by repository owner, repository name, and PR number to support pull request analysis.
Instructions
Fetches the content/details of a specific pull request.
Workflow and conventions: github_get_skill('pr-analysis').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| state | Yes | ||
| title | Yes | ||
| author | Yes | ||
| merged | Yes | ||
| commits | Yes | ||
| base_ref | Yes | ||
| head_ref | Yes | ||
| head_sha | Yes | ||
| is_draft | Yes | ||
| additions | Yes | ||
| deletions | Yes | ||
| mergeable | Yes | ||
| created_at | Yes | ||
| updated_at | Yes | ||
| description | Yes | ||
| changed_files | Yes | ||
| mergeable_state | Yes | ||
| requested_teams | Yes | ||
| requested_reviewers | Yes |