Skip to content

Only $type#144

Merged
lukasoppermann merged 2 commits into
v5from
only-$type
Dec 4, 2025
Merged

Only $type#144
lukasoppermann merged 2 commits into
v5from
only-$type

Conversation

@lukasoppermann

@lukasoppermann lukasoppermann commented Dec 4, 2025

Copy link
Copy Markdown
Owner

Only allow $type, disallow type without $

@lukasoppermann
lukasoppermann merged commit c326730 into v5 Dec 4, 2025
5 checks passed
@lukasoppermann
lukasoppermann deleted the only-$type branch December 4, 2025 07:49
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