Review PR

Review a GitHub pull request, verify CI status, merge it, and thank the author. Only tag a release when explicitly asked.

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

Run the shared review lanes against this PR, in report-only mode. Read the lane definitions from: