GitHub
create_pull_request
Create a new pull request in a GitHub repository.
Remote github
Other tools also called create_pull_request?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"base": {
"type": "string",
"description": "Branch to merge into"
},
"body": {
"type": "string",
"description": "PR description"
},
"head": {
"type": "string",
"description": "Branch containing changes"
},
"repo": {
"type": "string",
"description": "Repository name"
},
"draft": {
"type": "boolean",
"description": "Create as draft PR"
},
"owner": {
"type": "string",
"description": "Repository owner"
},
"title": {
"type": "string",
"description": "PR title"
},
"maintainer_can_modify": {
"type": "boolean",
"description": "Allow maintainer edits"
}
}
}