GitHub PRs
github_prList, retrieve, or create GitHub pull requests. Specify repository, title, body, and branch to create a PR, or use a PR number to fetch its details.
Instructions
List/get/create PRs. create prompts.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | ||
| body | No | ||
| head | No | ||
| title | No | ||
| action | No | list | |
| number | No | ||
| full_name | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||