[web-bluetooth] Pull Request: Fix bikeshed issue with 'denied'

• From: François Beaufort via GitHub <sysbot+gh@w3.org>
• Date: Fri, 24 Mar 2023 12:05:23 +0000
• To: public-web-bluetooth-log@w3.org
• Message-ID: <pull_request.opened-1288946896-1679659521-sysbot+gh@w3.org>

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

== Fix bikeshed issue with 'denied' ==
This PR fixes bikeshed issue below:

```
    $ bikeshed --die-on=warning spec "index.bs" "index.bs.built.html" 
      LINK ERROR: No 'enum-value' refs found for '"denied"' with spec 'permissions-1'.
      {{"denied"}}
       ✘  Did not generate, due to fatal errors
```

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


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

Received on Friday, 24 March 2023 12:05:25 UTC