pro.mdc

---
description: '"pro" command — open the GitHub Pull Request Overview in VS Code'
globs:
alwaysApply: false
---

## "pro" — Pull Request Overview

When the user says **"pro"**, open the GitHub Pull Requests extension's PR overview page (the description/overview tab) for the specified PR.

### How to open

`pr.openDescription` requires the branch to be checked out (the extension keys off the local branch). The key optimization is to open the overview **immediately after checkout, before bootstrap** — the user can read the description while bootstrap runs.

1. Check out the PR branch: `gh pr checkout <number>`
2. Close any stale PR overview tab: `cursor-commander-close_active_editor`
3. Open the new PR's overview **immediately**: `cursor-commander-execute_command: pr.openDescription`
4. *Then* check yarn.lock and bootstrap if needed (per `kibana-sre-session-start` switching rules)

Always close-then-reopen — the extension won't refresh a stale overview tab on its own.

### Usage patterns

- **"pro"** — open the PR overview for the currently checked-out PR.
- **"pro for next PR"** — check out the next PR in the review queue and open its overview.
- **"pro for 12345"** — check out PR #12345 and open its overview.