[w3c/push-api] Rewrite .subscribe() to fix various bugs (PR #350)

The following are not testable/observable, but spec bugs nonetheless:  

  * Fix `PushSubscriptionOptionsInit` usage.
  * Do less work in parallel.
  * Handle `userVisibleOnly` member.
  * Resolve promises using networking tasks source.



You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/push-api/pull/350

-- Commit Summary --

  * Rewrite .subscribe() to fix various bugs

-- File Changes --

    M index.html (116)

-- Patch Links --

https://github.com/w3c/push-api/pull/350.patch
https://github.com/w3c/push-api/pull/350.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/350
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/push-api/pull/350@github.com>

Received on Thursday, 2 June 2022 04:19:25 UTC