PushInput

Type, in @jr2/orchestrator/src/sandbox-effect.ts. The signature of an export, or a type that it names, names this type. The Authoring surface page lists each export. This type is not an export of @jr2/orchestrator, so a workflow module does not import it by name.

type PushInput<O extends PushOptions> = (O["pin"] extends true ? { sha: string } : unknown) &
  (O["squash"] extends true ? { message: string } : unknown);

The input of a push Effect: { sha } with pin, and { message } with squash.