Release file reservation
release_reservationRelease active file reservations when tasks finish or handoff occurs. Clears stale reservations by workspace, file path, or agent scope.
Instructions
Purpose: Release active file reservations after work is done or abandoned. When to use: call at handoff, task completion, or when a stale reservation should be cleared. Inputs: workspace_id plus reservation_id or file_path, optionally scoped by agent_name. Side effects: updates reservation state and audit events. Output: count of released reservations. Failure modes: returns zero when no matching active reservation exists.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_path | No | Optional repo-relative file path to release. | |
| agent_name | No | Optional agent name used to scope the release. | |
| workspace_id | Yes | Workspace UUID containing the reservation. | |
| reservation_id | No | Optional reservation UUID to release. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||