docs(agents): prefer git pull --rebase over fetch+rebase

.claude/commands/rev.md

@@ -5,9 +5,8 @@ Rebase onto the latest main, address PR review feedback, and fix failing CI.
 
 ## 1. Rebase onto main
 
-1. `git fetch origin main`
-2. `git rebase origin/main`
-3. If there are conflicts, resolve them, `git add` the resolved files, and
+1. `git pull --rebase origin main`
+2. If there are conflicts, resolve them, `git add` the resolved files, and
    `git rebase --continue`. Repeat until the rebase completes.
 
 ## 2. Address PR review feedback and fix CI (parallel)

AGENTS.md

@@ -210,6 +210,8 @@ details; do not duplicate that detail here.
 
 ### Git and CI
 
+- **Rebase with one command**: Use `git pull --rebase origin main` instead
+  of separate `git fetch origin main` + `git rebase origin/main`.
 - **Reply to PR review comments**: After addressing a PR review comment,
   reply to the comment on GitHub (via `gh api .../replies`) explaining
   how it was addressed (commit hash, what changed, tests added). Do this