release_file_reservations
Release active file reservations held by an agent, either all at once or by IDs/path patterns, so other coding agents can edit those files without conflicts.
Instructions
Release active file reservations held by an agent.
Behavior
If both
pathsandfile_reservation_idsare omitted, all active reservations for the agent are releasedOtherwise, restricts release to matching ids and/or path patterns
JSON artifacts stay in Git for audit; DB records get
released_ts
Returns
dict { released: int, released_at: iso8601 }
Idempotency
Safe to call repeatedly. Releasing an already-released (or non-existent) reservation is a no-op.
Examples
Release all active reservations for agent:
{"jsonrpc":"2.0","id":"13","method":"tools/call","params":{"name":"release_file_reservations","arguments":{
"project_key":"/abs/path/backend","agent_name":"GreenCastle"
}}}Release by ids:
{"jsonrpc":"2.0","id":"14","method":"tools/call","params":{"name":"release_file_reservations","arguments":{
"project_key":"/abs/path/backend","agent_name":"GreenCastle","file_reservation_ids":[101,102]
}}}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| paths | No | ||
| format | No | ||
| agent_name | Yes | ||
| project_key | Yes | ||
| registration_token | No | ||
| file_reservation_ids | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||