Push a local git branch to the remote repository in a Polygraph session.
Required before creating a PR via create_pr. Specify the session, the target repo, and the branch name to push. Requires an active Polygraph session with the target repo cloned.
Arguments
Section titled “Arguments”| Name | Type | Required | Description |
|---|---|---|---|
sessionId | string | yes | The Polygraph session ID. |
target | string | yes | Repo name or ID to push from. |
branch | string | yes | Branch name to push to remote (e.g., "feature/my-changes"). |