{
  "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"
    ]
  }
}