Fin

Overview

Finish a PR end-to-end: push updates, watch checks, squash-merge, and clean up state.

Workflow

1. •

   Identify the PR and target branch.

   • •Use gh pr view (current branch) or gh pr list to locate it.
2. •

   Update the PR.

   • •Ensure the branch is up to date, run required checks, and push:
     • •If using jujutsu: jj status, fix issues, then jj git push.
     • •Otherwise: git status, fix issues, then git push.
3. •

   Monitor checks until green.

   • •Use gh pr checks --watch or gh run watch <run-id>.
   • •If checks fail, fix, push, and re-watch.
4. •

   Squash-merge the PR.

   • •Prefer gh pr merge --squash --delete-branch unless repo policy dictates otherwise.
   • •If approvals are missing, request them before merging.
5. •

   Clean up local state.

   • •Fetch the updated mainline, switch to it, and delete the merged branch/bookmark.
   • •With jujutsu: jj git fetch, move off the merged change, then jj bookmark delete <branch>.

Guardrails

• •Do not merge if required checks or approvals are missing.
• •Keep the merge method aligned with repo policy.
• •If any step is blocked, state the blocker and required next action.