delete_file
Delete a specified file from an active workspace in a Git-based collaboration environment, ensuring workspace cleanup and version control integrity.
Instructions
Delete a file within an active workspace.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | ||
| workspace_id | Yes |