Re: [push-api] Remove PushManager#hasPermission in favor of Permissions API (#109)

With my Chrome hat on, I'm now happy to actually ship the hasPermission method. With the addition of `PushSubscriptionOptions.userVisible` all the semantic problems have been resolved.

Also, while the Permissions API has shipped in Chrome, other vendors have not committed to it yet to the same extent as the Push API. I'd rather not wait for it further.

With these thoughts, I withdraw my suggestion to remove `hasPermission`.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/109#issuecomment-94008294