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

Yes, the subscribe method [1] would reject with PermissionDeniedError:
https://w3c.github.io/push-api/#widl-PushManager-subscribe-Promise-PushSubscription

It seems we can avoid having this soon-to-be redundant method.

CC @mounirlamouri 

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