Re: [community-group] $type should be a required property (#139)

I've _just_ opened a PR to make the required changes: #201 :-)

It'll need to be approved by other editors before it can be merged. But you're all very welcome to take a look and add review comments. Thanks!

-- 
GitHub Notification of comment by c1rrus
Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/139#issuecomment-1370287745 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 3 January 2023 22:26:51 UTC