GitHubPushRequest

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.

Example Usage

import { GitHubPushRequest } from "@meetkai/mka1/models/components";

let value: GitHubPushRequest = {
  assignmentGeneration: 422028,
  branch: "<value>",
};

Fields

Field	Type	Required	Description
assignmentGeneration	number	✔️	N/A
branch	string	✔️	N/A
checkoutPath	string	➖	N/A
force	boolean	➖	N/A