fix(ci): address PR review — filter comments, trim whitespace, warn on missing scripts

- Filter YAML comment lines (grep -v '^\s*#') from both extraction
  pipelines to prevent phantom canonical IDs
- Trim trailing whitespace from extracted fact_ids so grep -qxF exact
  match works reliably
- Pre-commit dispatcher now prints explicit warning when a check script
  is missing instead of silently skipping
- Document --no-verify bypass for emergencies in DEVOPS.md

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This commit is contained in:
2026-02-13 17:42:22 +01:00
co-authored by Claude Opus 4.6
parent fa3c473273
commit 163de8bf25
3 changed files with 12 additions and 1 deletions
+2 -1
View File
@@ -14,7 +14,8 @@ run_check() {
ERRORS=$((ERRORS + 1))
fi
else
echo "pre-commit: skipping $label ($script not found or not executable)"
echo "pre-commit: WARNING — $label skipped ($script not found or not executable)"
echo " Run 'make setup' or check that $script exists and is executable."
fi
}