17aaf6b93e
* migrate with agent * re-add pull_requests toolset, fix whitespace * revert changes not part of migration * revert changes not part of migration
64 lines
1.4 KiB
Plaintext
64 lines
1.4 KiB
Plaintext
{
|
|
"annotations": {
|
|
"title": "Edit pull request"
|
|
},
|
|
"description": "Update an existing pull request in a GitHub repository.",
|
|
"inputSchema": {
|
|
"type": "object",
|
|
"required": [
|
|
"owner",
|
|
"repo",
|
|
"pullNumber"
|
|
],
|
|
"properties": {
|
|
"base": {
|
|
"type": "string",
|
|
"description": "New base branch name"
|
|
},
|
|
"body": {
|
|
"type": "string",
|
|
"description": "New description"
|
|
},
|
|
"draft": {
|
|
"type": "boolean",
|
|
"description": "Mark pull request as draft (true) or ready for review (false)"
|
|
},
|
|
"maintainer_can_modify": {
|
|
"type": "boolean",
|
|
"description": "Allow maintainer edits"
|
|
},
|
|
"owner": {
|
|
"type": "string",
|
|
"description": "Repository owner"
|
|
},
|
|
"pullNumber": {
|
|
"type": "number",
|
|
"description": "Pull request number to update"
|
|
},
|
|
"repo": {
|
|
"type": "string",
|
|
"description": "Repository name"
|
|
},
|
|
"reviewers": {
|
|
"type": "array",
|
|
"description": "GitHub usernames to request reviews from",
|
|
"items": {
|
|
"type": "string"
|
|
}
|
|
},
|
|
"state": {
|
|
"type": "string",
|
|
"description": "New state",
|
|
"enum": [
|
|
"open",
|
|
"closed"
|
|
]
|
|
},
|
|
"title": {
|
|
"type": "string",
|
|
"description": "New title"
|
|
}
|
|
}
|
|
},
|
|
"name": "update_pull_request"
|
|
} |