Skip to content

Remove intrange linter as it's covered by modernize - #9014

Merged
anderseknert merged 1 commit into
open-policy-agent:mainfrom
anderseknert:remove-intrange-linter
Aug 13, 2026
Merged

Remove intrange linter as it's covered by modernize#9014
anderseknert merged 1 commit into
open-policy-agent:mainfrom
anderseknert:remove-intrange-linter

Commits

Commits on Aug 13, 2026