# Push

> Push (offline-demo)

- Skill: `everyinc/push` (Agent Skill)
- Install (CLI): `npx skillmds@latest add everyinc/push`
- Raw SKILL.md: https://api.skillmd.com/api/skills/everyinc/push/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: everyinc (https://skillmd.com/u/everyinc)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/everyinc/push

---


# Push (offline-demo)

There is no `origin` remote in this demo. "Push" means: make sure the branch
is in a clean reviewable state and record a local PR entry on the issue via
the `tasks` CLI so the human reviewer can drag the issue to `Merging` when
ready.

## Prerequisites

- Working tree is clean (everything committed via the `commit` skill).
- You know the issue identifier (it's in the prompt as `{{ issue.identifier }}`
  for the agent that invoked you, but you can also re-read it from the
  workpad).
- The branch you're on is `symphony/<identifier>` — that's what the
  `after_create` hook set up.

## Steps

1. Identify branch: `branch=$(git branch --show-current)`.
2. Verify the working tree is clean and committed:
   ```sh
   git status --porcelain
   ```
   If anything is unstaged, commit it first via the `commit` skill.
3. Resolve the issue identifier. If your branch is named `symphony/eng-3`,
   the identifier is the suffix uppercased: `ENG-3`. If you're unsure, check
   the workpad header you stamped earlier.
4. Build the PR body. If the workpad has a clean summary, reuse it; otherwise
   write a concise outcome-focused note covering:
   - **What** — short summary of the change
   - **Why** — link back to the issue (`tasks://{{ issue.identifier }}`)
   - **How** — implementation notes
   - **Validation** — how you verified it works

   Write it to a file:
   ```sh
   cat > /tmp/pr_body.md <<'EOF'
   ## What
   ...

   ## Why
   tasks://IDENT — see issue body.

   ## How
   ...

   ## Validation
   ...
   EOF
   ```
5. Check whether a local PR already exists for this issue:
   ```sh
   tasks pr-view IDENT --json
   ```
   - If output is `null` or `(no PR)` — create one:
     ```sh
     tasks pr-create IDENT \
       --branch "$branch" \
       --title "<clear PR title>" \
       --body-file /tmp/pr_body.md \
       --label symphony
     ```
   - If state is `OPEN` — update it in place:
     ```sh
     tasks pr-update IDENT \
       --title "<clear PR title>" \
       --body-file /tmp/pr_body.md \
       --label symphony
     ```
   - If state is `MERGED` or `CLOSED` — that PR is final. Create a fresh one
     (the `tasks` CLI will refuse to create over an OPEN PR but accepts a new
     one over a closed/merged one):
     ```sh
     tasks pr-create IDENT \
       --branch "$branch" \
       --title "<clear PR title>" \
       --body-file /tmp/pr_body.md \
       --label symphony
     ```
6. Confirm the local PR is recorded:
   ```sh
   tasks pr-view IDENT
   ```
   Capture the PR number — it's `pr.number` in the JSON output.
7. The branch lives only on this machine. Do NOT call `git push` and do NOT
   call `gh` — neither will work. The branch is the artifact; the local PR
   record points at it.

## Guardrails

- Never call `git push`, `gh pr ...`, or any remote-touching command. There
  is no remote.
- Never `--force` anything; there's nothing to force against.
- Never paste the local PR record into the workpad — the issue's `pr` field
  is the canonical view, accessible via `tasks pr-view IDENT`.