Stage a file chunk (Large-PR Room)
workspace_putAppend file chunks to a server-side File Workspace so large files can be uploaded across multiple calls; reuse the returned workspace ID, then push all chunks once.
Instructions
Append one chunk of a file into the server-side File Workspace. Use this to push files too big to emit in one response: call it repeatedly with small chunks of the same file (and other files), then call workspace_push once. Omit workspace_id on the very first chunk to get a fresh id back, then reuse that id for every chunk and every file in the push.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| seq | No | Optional explicit chunk order. Defaults to append order. | |
| path | Yes | Repo-relative file path this chunk belongs to. | |
| content | Yes | One chunk of the file's UTF-8 content. | |
| workspace_id | No | Omit on the first chunk to receive a fresh id; reuse it for all chunks and files in one push. |