From 34a9d1f8f3969b596a75db9f2ab02c34e932343a Mon Sep 17 00:00:00 2001 From: Alex Verkhovsky Date: Sun, 7 Dec 2025 10:44:27 -0700 Subject: [PATCH] docs: add guidance to skip PRs that shouldn't merge --- tools/maintainer/review-pr-README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/maintainer/review-pr-README.md b/tools/maintainer/review-pr-README.md index 69efc73b..d097ce94 100644 --- a/tools/maintainer/review-pr-README.md +++ b/tools/maintainer/review-pr-README.md @@ -31,6 +31,7 @@ See `review-pr.md` for full prompt structure, severity ratings, and sandboxing r - Trivial PRs (typo fixes, version bumps, single-line changes) - PRs you've already reviewed manually +- PRs where you haven't agreed on the approach yet — fix the direction before the implementation ## Workflow Tips