Skip to content

Fix rule_id displaying as wrong number on GitHub for rules 0100–0135#409

Merged
dennisdoomen merged 1 commit into
mainfrom
dennisdoomen/validate-rule-id-filenames
May 20, 2026
Merged

Fix rule_id displaying as wrong number on GitHub for rules 0100–0135#409
dennisdoomen merged 1 commit into
mainfrom
dennisdoomen/validate-rule-id-filenames

Commits

Commits on May 20, 2026