[web-bluetooth] Pull Request: Add logging and color to deploy script

• From: Ovidio Ruiz-Henríquez via GitHub <sysbot+gh@w3.org>
• Date: Fri, 21 Feb 2020 18:47:53 +0000
• To: public-web-bluetooth-log@w3.org
• Message-ID: <pull_request.opened-378420652-1582310871-sysbot+gh@w3.org>

odejesush has just submitted a new pull request for https://github.com/WebBluetoothCG/web-bluetooth:

== Add logging and color to deploy script ==
This change makes errors in parsing the spec source files more visible
by adding more verbose logging with color.

See https://github.com/WebBluetoothCG/web-bluetooth/pull/477

Received on Friday, 21 February 2020 18:47:54 UTC