pr

Do not create branches, push commits, or create or update a pull request until the user confirms the final preview. Never force-push unless the user explicitly requests it.

Gather Context

Read the repository-root CONTRIBUTING.md and .github/PULL_REQUEST_TEMPLATE.md. Inspect:

git status --short
git branch --show-current
git remote -v
git log --oneline origin/main..HEAD
git diff --stat origin/main...HEAD
git diff origin/main...HEAD

Determine the intended base branch; default to main only when the user did not specify another base. Include the complete branch diff, not just the most recent commit.

Search open pull requests for the same issue or change. If the current branch already has a PR, read its current title, body, draft state, review comments, and requested changes before proposing an update. Preserve edits made directly on GitHub instead of rebuilding the body from scratch.

If the current branch is main, propose a focused branch name. Do not create that branch before final confirmation.

Validate the Change

Run checks relevant to the complete PR and record exact results. Run the repository pre-submit check unless the user explicitly narrows validation:

pre-commit run --all-files --show-diff-on-failure --color=always

Do not claim GPU, LIBERO, Isaac, or LeRobot validation ran when the environment did not support it. State what remains unverified.

Compose the PR

Create a title that follows CONTRIBUTING.md, including [BREAKING] or an optional PR-series prefix when applicable. Validate it with:

python3 scripts/check_pr_title.py --title "[module] type: description"

Fill every applicable section of .github/PULL_REQUEST_TEMPLATE.md. Only check checklist items that were actually completed. Make the overview concise, list exact validation commands, explain missing coverage, and include API or usage examples for user-visible changes.

When updating an existing PR, ensure the title and body describe all branch changes while retaining useful user-authored content.

Request Final Confirmation

Before any branch creation, push, PR creation, or PR update, show the user:

• Base and head branches, including a proposed branch name when needed.
• Commits and files included in the complete PR diff.
• Proposed title and full body.
• Checks run, results, and anything unverified.
• Whether the PR will be draft or ready for review.
• Exact external actions to perform, including the push destination.

Wait for explicit confirmation. The initial request starts preparation but does not replace confirmation of this preview. If the branch, commits, files, title, body, or remote PR changes after the preview, refresh it and request confirmation again.

Create or Update the PR

After confirmation, recheck the branch and worktree, then perform only the approved actions. Push without force. Create the PR against the approved base, or update the existing PR without overwriting concurrent GitHub edits.

Return the PR URL, final title, base and head branches, draft state, checks run, and remaining worktree state.