workspace_release
Release an exclusive workspace lease by its ID, making the workspace available for others. Idempotent and does not terminate terminal sessions or processes.
Instructions
Release an exclusive workspace lease by lease_id. Idempotent. Does not kill terminal sessions or processes. Do not use to steal another writer's lease unless you possess their lease_id.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| lease_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||