tea_pr_checkout
Checkout a pull request locally by its number, with option to specify repository or auto-detect from working directory.
Instructions
Checkout a pull request locally
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | Repository path or 'owner/name' slug (defaults to repo detected from working directory) | |
| index | Yes | Pull request number to checkout |