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:
Type checking: Run
pnpm typecheckto check for TypeScript errors.If you find any errors, fix them.
Comment these lines in the
devfile:run("node scripts/cleanup-desktop.js") run("./scripts/cleanup-frontend.sh")Tests: Run
./dev build-desktop && pnpm web:prodto ensure the apps build properly and tests pass.Uncomment the lines in the
devfile.If there are any changes you made to fix the typecheck, ask before amending the existing commit.
Ask before running
git pull.Ask before running
git push.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.