Dyadpr Push

Check for uncommitted changes:

Run git status to check for any uncommitted changes (staged, unstaged, or untracked files).

If there are uncommitted changes:

• When in doubt, git add the files. Assume changed/untracked files are related to the current work unless they are egregiously unrelated (e.g., completely different feature area with no connection to the current changes).
• Only exclude files that are clearly secrets or artifacts that should never be committed (e.g., .env, .env.*, credentials.*, *.secret, *.key, *.pem, .DS_Store, node_modules/, *.log).
• Do NOT stage package-lock.json unless package.json has also been modified. Changes to package-lock.json without a corresponding package.json change are spurious diffs (e.g., from running npm install locally) and should be excluded. If package-lock.json is dirty but package.json is not, run git checkout -- package-lock.json to discard the changes.
• Stage and commit all relevant files with a descriptive commit message summarizing the changes.
• Keep track of any files you ignored so you can report them at the end.

If there are no uncommitted changes, proceed to the next step.

Run lint checks:

Run these commands to ensure the code passes all pre-commit checks:

npm run fmt && npm run lint:fix && npm run ts

If there are errors that could not be auto-fixed, read the affected files and fix them manually, then re-run the checks until they pass.

IMPORTANT: Do NOT stop after lint passes. You MUST continue to step 4.

Run tests:

Run the test suite to ensure nothing is broken:

npm test

If any tests fail, fix them before proceeding. Do NOT skip failing tests.

IMPORTANT: Do NOT stop after tests pass. You MUST continue to step 5.

If lint made changes, amend the last commit:

If the lint checks made any changes, stage and amend them into the last commit:

git add -A
git commit --amend --no-edit

IMPORTANT: Do NOT stop here. You MUST continue to step 6.

Push the branch (REQUIRED):

You MUST push the branch to GitHub. Do NOT skip this step or ask for confirmation.

CRITICAL: You MUST NEVER run git pull --rebase (or any git pull) from the fork repo. If you need to pull/rebase, ONLY pull from the upstream repo (dyad-sh/dyad). Pulling from a fork can overwrite local changes or introduce unexpected commits from the fork's history.

First, determine the correct remote to push to:

a. Check if the branch already tracks a remote:

git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null

If this succeeds (e.g., returns origin/my-branch or someuser/my-branch), the branch already has an upstream. Push to it:

git push --force-with-lease

Permission fallback: If the push fails with a permission error (e.g., the branch tracks upstream but the current account lacks write access to dyad-sh/dyad), fall back to pushing to origin instead:

git push --force-with-lease -u origin HEAD

b. If there is NO upstream, check if a PR already exists and determine which remote it was opened from:

First, get the PR's head repository as owner/repo:

gh pr view --json headRepository --jq .headRepository.nameWithOwner

Error handling: If gh pr view exits with a non-zero status, check whether the error indicates "no PR found" (expected — proceed to step c) or another failure (auth, network, ambiguous branch — report the error and stop rather than silently falling back).

If a PR exists, find which local remote corresponds to that owner/repo. List all remotes and extract the owner/repo portion from each URL:

git remote -v

For each remote URL, extract the owner/repo by stripping the protocol/hostname prefix and .git suffix. This handles all URL formats:

• SSH: [email protected]:owner/repo.git → owner/repo
• HTTPS: https://github.com/owner/repo.git → owner/repo
• Token-authenticated: https://x-access-token:[email protected]/owner/repo.git → owner/repo

Match the PR's owner/repo against each remote's extracted owner/repo. If multiple remotes match (e.g., both SSH and HTTPS URLs for the same repo), prefer the first match. If no remote matches (e.g., the fork is not configured locally), proceed to step c.

Push to the matched remote:

git push --force-with-lease -u <matched-remote> HEAD

c. If no PR exists (or no matching remote was found) and there is no upstream, fall back to origin. If pushing to origin fails due to permission errors, try pushing to upstream instead (per the project's git workflow in CLAUDE.md). Report which remote was used.

git push --force-with-lease -u origin HEAD

Note: --force-with-lease is used because the commit may have been amended. It's safer than --force as it will fail if someone else has pushed to the branch.

Create or update the PR (REQUIRED):

CRITICAL: Do NOT tell the user to visit a URL to create a PR. You MUST create it automatically.

First, check if a PR already exists for this branch:

gh pr view --json number,url

If a PR already exists, skip PR creation (the push already updated it).

If NO PR exists, create one using gh pr create:

gh pr create --title "<descriptive title>" --body "$(cat <<'EOF'
## Summary
<1-3 bullet points summarizing the changes>

## Test plan
<How to test these changes>

🤖 Generated with [Claude Code](https://claude.com/claude-code)
EOF
)"

Use the commit messages and changed files to write a good title and summary.

Do NOT automatically add cc:request:

Do not add the cc:request label automatically as part of this skill. Leave review-request labeling unchanged unless the user explicitly asks for it separately.

Remove review-issue label:

After pushing, remove the needs-human:review-issue label if it exists (this label indicates the issue needed human review before work started, which is now complete):

gh pr edit --remove-label "needs-human:review-issue" 2>/dev/null || true

Remember learnings (after initial push):