pr-review

name	pr-review
description	How to review a pull request

• Keep the overall summary comment short. Don't restate the per-line findings there.
• Don't comment nits or observations that are acknowledged in the PR description or comments. Only flag issues that you think should lead to a change.