get_pr_info
Fetch a GitHub pull request's metadata, changed-file summaries, and diff hunk ranges so you can align narration before starting a tour.
Instructions
Fetch a GitHub pull request's metadata and a compact summary of every changed file. Call this FIRST, before start_tour, so your narration matches what will be displayed.
Each file includes its diff hunk ranges: {old_start, old_end, new_start, new_end}. Those are the line numbers you pass to show_step (side="new" uses new_start/new_end). Use get_file_diff to read the actual changed lines of a specific file.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_url | Yes |