17aaf6b93e
* migrate with agent * re-add pull_requests toolset, fix whitespace * revert changes not part of migration * revert changes not part of migration
51 lines
1.1 KiB
Plaintext
51 lines
1.1 KiB
Plaintext
{
|
|
"annotations": {
|
|
"title": "Open new pull request"
|
|
},
|
|
"description": "Create a new pull request in a GitHub repository.",
|
|
"inputSchema": {
|
|
"type": "object",
|
|
"required": [
|
|
"owner",
|
|
"repo",
|
|
"title",
|
|
"head",
|
|
"base"
|
|
],
|
|
"properties": {
|
|
"base": {
|
|
"type": "string",
|
|
"description": "Branch to merge into"
|
|
},
|
|
"body": {
|
|
"type": "string",
|
|
"description": "PR description"
|
|
},
|
|
"draft": {
|
|
"type": "boolean",
|
|
"description": "Create as draft PR"
|
|
},
|
|
"head": {
|
|
"type": "string",
|
|
"description": "Branch containing changes"
|
|
},
|
|
"maintainer_can_modify": {
|
|
"type": "boolean",
|
|
"description": "Allow maintainer edits"
|
|
},
|
|
"owner": {
|
|
"type": "string",
|
|
"description": "Repository owner"
|
|
},
|
|
"repo": {
|
|
"type": "string",
|
|
"description": "Repository name"
|
|
},
|
|
"title": {
|
|
"type": "string",
|
|
"description": "PR title"
|
|
}
|
|
}
|
|
},
|
|
"name": "create_pull_request"
|
|
} |