Skip to content

[pre-push] Change 'lint gitleaks' to 'lint secrets'#1098

Merged
davidrunger merged 1 commit into
mainfrom
update-lint-gitleaks-to-lint-secrets
Jun 18, 2026
Merged

[pre-push] Change 'lint gitleaks' to 'lint secrets'#1098
davidrunger merged 1 commit into
mainfrom
update-lint-gitleaks-to-lint-secrets

Commits

Commits on Jun 18, 2026