Push staged files to git by reference (Large-PR Room)
workspace_pushAssemble all staged workspace files and write them to a GitHub branch using the Git Data API, creating the branch if needed. Staged files remain after the push.
Instructions
Assemble every file staged in the workspace and write them to a branch via the GitHub Git Data API (blobs, tree, commit, ref). Any file size. Creates the branch off base_branch (or the default branch) when it does not exist. Staged rows are kept after the push (retention), never deleted.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | GitHub repo name. | |
| owner | Yes | GitHub repo owner. | |
| branch | Yes | Target branch to write the files to. | |
| message | No | Commit message. | |
| base_branch | No | Branch to create from when the target does not exist. | |
| workspace_id | Yes | The id returned by workspace_put. |