- From: Laurent Thiebault via GitHub <sysbot+gh@w3.org>
- Date: Tue, 05 Jul 2022 18:21:43 +0000
- To: public-design-tokens-log@w3.org
lauthieb has just submitted a new pull request for https://github.com/design-tokens/community-group: == refactor: rename "GUI tool" => "design tool", and "export tool" => "translation tool" == In order to be more consistent, I've proposed to align terms of "GUI tool" & "design tool". But also terms of "export tool" & "translation tool". So, this PR is there to close my issue about this: closes #152 Btw, thanks a lot @c1rrus for your comment on this: > Good point! > > I think you're right, we've used multiple terms to mean the same thing and ought to clean that up. Feel free if you want to challenge :) Have a nice day, See https://github.com/design-tokens/community-group/pull/156 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 5 July 2022 18:21:45 UTC