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
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"repo": "<repo>",
"title": "<title>",
"body": "<body>",
"branch": "<branch>"
},
"name": "create_pr"
}
}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 |