github_delete_file
Delete a file from any GitHub repository by committing the removal directly to a specified branch using the current file SHA.
Instructions
Delete a file from a repository via a commit.
Args: owner: Repository owner repo: Repository name path: File path to delete message: Commit message sha: Current file SHA (get from github_get_file) branch: Branch to commit to (empty = default branch) session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sha | Yes | ||
| path | Yes | ||
| repo | Yes | ||
| owner | Yes | ||
| branch | No | ||
| message | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |