- From: Travis Spomer via GitHub <sysbot+gh@w3.org>
- Date: Sun, 19 Jun 2022 18:59:52 +0000
- To: public-design-tokens-log@w3.org
Can you explain a little more about what this would be helpful for? Would you use it for putting tokens in one part of the file but have their names actually be something different?
```json
{
"Global":
{
"Color":
{
"Red": { "$value": "#ff0000", "$path": "MyColors.Red" }
}
}
}
```
--
GitHub Notification of comment by TravisSpomer
Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/140#issuecomment-1159792999 using your GitHub account
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 19 June 2022 18:59:54 UTC