GitHub
delete_file
Delete a file from a GitHub repository
Remote github
Remote (network-hosted)
Other tools also called delete_file?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"path": {
"type": "string",
"description": "Path to the file to delete"
},
"repo": {
"type": "string",
"description": "Repository name"
},
"owner": {
"type": "string",
"description": "Repository owner (username or organization)"
},
"branch": {
"type": "string",
"description": "Branch to delete the file from"
},
"message": {
"type": "string",
"description": "Commit message"
}
}
}