| { |
| "name": "create_pull_request", |
| "description": "Create a new pull request in a GitHub repository.", |
| "inputSchema": { |
| "type": "object", |
| "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" |
| }, |
| "reviewers": { |
| "type": "array", |
| "items": { |
| "type": "string" |
| }, |
| "description": "GitHub usernames or ORG/team-slug team reviewers to request reviews from" |
| }, |
| "title": { |
| "type": "string", |
| "description": "PR title" |
| } |
| }, |
| "required": [ |
| "owner", |
| "repo", |
| "title", |
| "head", |
| "base" |
| ] |
| } |
| } |
