Push a local git branch to the remote repository.
Use this after making commits in a delegated repository, before creating a PR. Requires an active Polygraph session. A session description is required.
Arguments
Section titled “Arguments”| Name | Type | Required | Description |
|---|---|---|---|
sessionId | string | yes | The Polygraph session ID, or a supported Polygraph app session URL. Supported URL paths are /s/<session-id> and /orgs/<org-id>/sessions/<session-id>. URL inputs are normalized to the session ID; the MCP always uses the current Polygraph API configuration. |
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 | A session description is required. Pass the literal value 'none' to explicitly skip updating the session description. |