Re: [push-api] pushregistrationlost use case (#74)

Out of interest, assuming that pushsubscriptionlost event is used by a push service, what is the process to re-register?

I'm assuming the expiration of a push subscription does not remove the permission to re-request a new push subscription ID, however, I can't see any mention of making the PushManager accessible to the ServiceWorkerGlobalScope (although I may be thinking the wrong way), is this intentional?

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