Create Pull Request Tool
create_pull_request_toolOpen a GitHub pull request.
Instructions
Open a GitHub pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | Yes | Branch the changes should be merged into (e.g. "main") | |
| body | No | Pull request description (Markdown) | |
| head | Yes | Branch holding the changes; "owner:branch" for a fork | |
| repo | Yes | Repository name | |
| draft | No | Open the pull request as a draft (default: false) | |
| owner | No | Repository owner (defaults to GITHUB_DEFAULT_ORG if unset) | |
| title | Yes | Pull request title (required, non-empty) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||