Skip to content

Rename Rule to Policy for naming to make more sense#20

Merged
manolisliolios merged 2 commits into
mainfrom
ml/rename-to-policy
Feb 24, 2026
Merged

Rename Rule to Policy for naming to make more sense#20
manolisliolios merged 2 commits into
mainfrom
ml/rename-to-policy

Conversation

@manolisliolios

Copy link
Copy Markdown
Collaborator

No description provided.

@manolisliolios
manolisliolios merged commit c05b370 into main Feb 24, 2026
3 checks passed
@manolisliolios
manolisliolios deleted the ml/rename-to-policy branch February 24, 2026 16:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant