delete_file
Removes a file from a GitHub repository by specifying owner, repo, path, blob SHA, and commit message. Optionally targets a branch.
Instructions
Delete a file from a repository
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sha | Yes | The blob SHA of the file being deleted | |
| path | Yes | ||
| repo | Yes | ||
| owner | Yes | ||
| branch | No | Optional branch name | |
| message | Yes | Commit message |