create_pr
Open a GitHub pull request from a specified branch, with custom title and body, merging into a target base branch.
Instructions
Open a GitHub Pull Request for the given branch.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | Base branch to merge into (default: main) | |
| body | Yes | PR body (markdown supported) | |
| title | Yes | PR title | |
| branch | Yes | Head branch to merge from |