renew_file_reservations
Extend active file reservations past their current expiry by a chosen number of seconds, optionally filtering by reservation IDs or path patterns, to keep concurrent coding sessions coordinated.
Instructions
Extend your active reservations by extend_seconds past their current expiry; each call extends again. Omit paths and file_reservation_ids for all; empty filters impose no restriction, and two nonempty filters must both match. Returns {renewed, file_reservations} with old and new expiry times; no matches returns zero and an empty array. Expired reservations are not renewed; reserve them again with file_reservation_paths.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| paths | No | Only your reservations with exactly these patterns. | |
| agent_name | Yes | Your registered agent name. | |
| project_key | Yes | Absolute path of the repository's primary checkout. | |
| extend_seconds | No | Seconds, default 1800, at most 2592000 (30 days). | |
| file_reservation_ids | No | Only your reservations with these ids. |