Review PR

Review a GitHub pull request, verify CI status, and merge + tag a release if appropriate.

Workflow

1. Fetch PR details

Use gh CLI to get the PR diff, description, and CI status:

gh pr view <number> --json title,body,additions,deletions,files,reviews,statusCheckRollup,headRefName,baseRefName
gh pr diff <number>

2. Review the changes

Carefully review the diff. Pay attention to: