- From: Marcos Cáceres <notifications@github.com>
- Date: Sun, 10 Dec 2023 17:12:04 -0800
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 11 December 2023 01:12:10 UTC
Part of #360 We propose adding 'push subscription owner' concept, to allow a Window to eventually also be the owner of a push subscription (not just a service worker). This makes no substantive changes at this point... just lays down infrastructure that we can then use for branching. You can view, comment on, or merge this pull request online at: https://github.com/w3c/push-api/pull/367 -- Commit Summary -- * Introduce 'push subscription owner' concept -- File Changes -- M index.html (23) -- Patch Links -- https://github.com/w3c/push-api/pull/367.patch https://github.com/w3c/push-api/pull/367.diff -- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/367 You are receiving this because you are subscribed to this thread. Message ID: <w3c/push-api/pull/367@github.com>
Received on Monday, 11 December 2023 01:12:10 UTC