PR Summary

Summarizes changes in a pull request by fetching live PR data with the GitHub CLI (gh pr diff, gh pr view --comments). Runs as a forked Explore agent.