GitHub Pull Request Operations

Use gh CLI for all GitHub PR operations. Minimize context usage through targeted queries, file buffers for large outputs, and grep-friendly formats.

Core Principles

1. Filter at source - Use --json with specific fields, not full responses
2. Buffer large outputs - Write to /tmp/ then grep, don't load into context
3. Batch queries - One gh api call vs multiple gh pr calls
4. Structured output - Use --json + --jq for precise extraction

Essential Patterns

Viewing PR Information

# Minimal PR overview (token-efficient)
gh pr view <number> --json title,state,author,additions,deletions,changedFiles