GitHub
push_files
Push multiple files to a GitHub repository in a single commit
Remote github
Remote (network-hosted)
Other tools also called push_files?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"repo": {
"type": "string",
"description": "Repository name"
},
"files": {
"type": "array",
"items": {
"type": "object",
"required": [
"path",
"content"
],
"properties": {
"path": {
"type": "string",
"description": "path to the file"
},
"content": {
"type": "string",
"description": "file content"
}
}
},
"description": "Array of file objects to push, each object with path (string) and content (string)"
},
"owner": {
"type": "string",
"description": "Repository owner"
},
"branch": {
"type": "string",
"description": "Branch to push to"
},
"message": {
"type": "string",
"description": "Commit message"
}
}
}