From 27ccf8962e46a1024ae30aa92efa25a87d559519 Mon Sep 17 00:00:00 2001 From: "benjamin.baker" Date: Wed, 2 Sep 2026 18:39:23 -0400 Subject: [PATCH] exclude gitignored devnotes from the naming/style gate The gate walks the working tree with grep, which does not honor .gitignore, so it scanned devnotes/ (local scratch notes, already gitignored and never committed) and failed on pasted logs full of em-dashes and arrows. Exclude devnotes/ the same way venv, node_modules, and dist are already excluded. --- scripts/check-naming-and-style.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/check-naming-and-style.sh b/scripts/check-naming-and-style.sh index 133f8620..26e63818 100755 --- a/scripts/check-naming-and-style.sh +++ b/scripts/check-naming-and-style.sh @@ -35,6 +35,10 @@ EXCLUDES=( --exclude-dir=.git --exclude-dir=versions --exclude-dir=staticdocs + # Local, gitignored scratch notes (see .gitignore devnotes/). Not product + # source, never committed, and free to hold pasted logs full of em-dashes + # and arrows - grep does not consult .gitignore, so exclude it explicitly. + --exclude-dir=devnotes ) INCLUDES_CODE=(