---
title: PushInput
description: "The input of a `push` Effect: `{ sha }` with `pin`, and `{ message }` with `squash`."
---

# `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](../authoring-surface.md) page lists each export. This type is not an export of `@jr2/orchestrator`, so a workflow module does not import it by name.

```ts
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`.