# Push

> Run pre-push checks including typecheck and tests.

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

---


# Push

Follow `AGENTS.md` first. Only run git commands that write state when the user explicitly asks to push or publish this
branch.

Run the following pre-push checks to ensure code quality before pushing to remote:

1. **Type checking**: Run `pnpm typecheck` to check for TypeScript errors.
2. If you find any errors, fix them.
3. Comment these lines in the `dev` file:

   ```
   run("node scripts/cleanup-desktop.js")
   run("./scripts/cleanup-frontend.sh")
   ```

4. **Tests**: Run `./dev build-desktop && pnpm web:prod` to ensure the apps build properly and tests pass.
5. Uncomment the lines in the `dev` file.
6. If there are any changes you made to fix the typecheck, ask before amending the existing commit.
7. Ask before running `git pull`.
8. Ask before running `git push`.
9. **Report results**: Provide a summary of which checks passed or failed.

If any check fails and you cannot fix it, describe that in the report and provide details about the errors so they can
be fixed before pushing.