| { |
| "name": "delete_file", |
| "description": "Delete a file from a GitHub repository", |
| "inputSchema": { |
| "type": "object", |
| "properties": { |
| "branch": { |
| "type": "string", |
| "description": "Branch to delete the file from" |
| }, |
| "message": { |
| "type": "string", |
| "description": "Commit message" |
| }, |
| "owner": { |
| "type": "string", |
| "description": "Repository owner (username or organization)" |
| }, |
| "path": { |
| "type": "string", |
| "description": "Path to the file to delete" |
| }, |
| "repo": { |
| "type": "string", |
| "description": "Repository name" |
| } |
| }, |
| "required": [ |
| "owner", |
| "repo", |
| "path", |
| "message", |
| "branch" |
| ] |
| } |
| } |
