Skip to content

Trim PUB GATE — delegate consumer-grep to zlint unused-decls#17

Merged
indykish merged 1 commit into
masterfrom
chore/pub-gate-trim-consumer-grep
May 14, 2026
Merged

Trim PUB GATE — delegate consumer-grep to zlint unused-decls#17
indykish merged 1 commit into
masterfrom
chore/pub-gate-trim-consumer-grep

docs(agents): trim PUB GATE — delegate consumer-grep to zlint unused-…

00e426f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
gitleaks
succeeded May 14, 2026 in 6s