release_file_reservations
Release active file reservations when work is finished so other agents can reserve those paths; omit filters to release all or specify paths/IDs for a subset.
Instructions
Release your active reservations when you finish work so other agents can reserve those paths. While work continues, use renew_file_reservations instead. Omit both filters to release all; supply paths or file_reservation_ids for a subset. Empty filters impose no restriction; two nonempty filters must both match. Returns how many were released; zero is not an error.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| paths | No | Only your reservations with exactly these patterns. | |
| agent_name | Yes | Your registered agent name. | |
| session_id | No | With session_ended: the ending session's ID. A report from a session that no longer holds this name is ignored; without it the report skips that check. | |
| project_key | Yes | Absolute path of the repository's primary checkout. | |
| session_ended | No | Set only by the host's SessionEnd hook; agents must not set it. list_agents shows session_ended_at until the agent next sends, reserves, reads its inbox, changes or withdraws mail, or waits again. | |
| file_reservation_ids | No | Only your reservations with these ids. |