phenobarbital/antigravity-config/worktree-pr-and-clean

Goal

After user approval: push branch + open PR to main + clean up the worktree.

Safety rules

• Do not delete the worktree if there are uncommitted changes.
• Do not use --force unless the user explicitly requests it.
• If gh is not installed or not authenticated, guide the user to create the PR manually (or provide the exact commands needed).

Steps

1) Locate the active worktree

• Read .worktrees/_active.json (if present) to get path, branch, base.
• If missing, run git worktree list and pick the non-primary worktree (or ask the user which one).

2) Verify state

• git -C <path> status --porcelain must be empty.
• Confirm the current branch is <branch>.
• (Optional) run tests one last time.

3) Push to origin

• git -C <path> push -u origin <branch>

4) Create a PR to main

• If GitHub CLI is available and authenticated:
• gh pr create --base <base> --head <branch> --title "<title>" --body "<summary>"

5) Clean up

• Remove the worktree: git worktree remove <path>
• Prune stale metadata: git worktree prune
• Delete .worktrees/_active.json if there is no active worktree left.

6) Report

• PR link (if created).
• Commands executed.
• Any remaining manual steps (if auth or tooling was missing).