[community-group] Closed Pull Request: Test "Do not merge" label CI failure

• From: Kaelig Deloumeau-Prigent via GitHub <sysbot+gh@w3.org>
• Date: Tue, 08 Mar 2022 23:14:23 +0000
• To: public-design-tokens-log@w3.org
• Message-ID: <pull_request.closed-874722781-1646781261-sysbot+gh@w3.org>

kaelig has just closed kaelig's pull request 115 for https://github.com/design-tokens/community-group:

== Test "Do not merge" label CI failure ==
None

See https://github.com/design-tokens/community-group/pull/115


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

Received on Tuesday, 8 March 2022 23:14:25 UTC