Push Session to GitHub
Push the session’s checkout to branch in the repository it was cloned from, using the caller’s GitHub connection. The repository always comes from the session, never from the request. Set checkout_path when the repository is not at the workspace root.
Authorizations
Gateway auth: send Authorization: Bearer <mka1-api-key>. For multi-user server-side integrations, you can also send X-On-Behalf-Of: <external-user-id>.
Headers
Optional external end-user identifier forwarded by the API gateway.
Path Parameters
Body
Public operation request.
It deliberately has no credential or repository field: the credential is
the caller's stored connection, and the repository is the session's clone
binding. checkout_path names where the repository root sits inside
the workspace (empty = the workspace root), because the caller — the
agent working in the checkout — knows the layout and the server must not
guess it.