Push a local git branch to the remote repository in a Polygraph session.
Required before creating a PR via create_pr. For the repo the parent agent runs in, this pushes from the current checkout; for delegated repos, it pushes from the Polygraph-managed clone the child agent worked in.
Arguments
Section titled “Arguments”| Name | Type | Required | Description |
|---|---|---|---|
sessionId | string | yes | The Polygraph session ID, or a Polygraph app session URL (/s/<session-id> or /orgs/<org-id>/sessions/<session-id>). |
repo | string | yes | Repo name or ID to push from. |
branch | string | yes | Branch name to push to remote (e.g., "feature/my-changes"). |
description | string | yes | User-facing Polygraph session description summarizing the goal, progress, and next steps. Saved to the session description timeline. |