workspace_delete
Delete a managed Git worktree by workspace ID. Dirty workspaces are refused unless force is true.
Instructions
Remove a managed Git worktree by immutable workspace ID. Dirty workspaces are refused unless force is explicitly true.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| force | No | Discard dirty workspace content when true. | |
| workspaceId | Yes |