create_pr
Push a branch to a GitHub repository and create a pull request with a specified title, body, and base branch.
Instructions
Push branch and create a GitHub pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | Base branch to merge into (defaults to main) | main |
| body | Yes | Pull request description in Markdown | |
| repo | Yes | Repository directory name under the workspace root | |
| title | Yes | Pull request title | |
| branch | Yes | Head branch to push and open the PR from |