- From: Marcos Cáceres <notifications@github.com>
- Date: Thu, 14 Dec 2023 19:00:26 -0800
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 15 December 2023 03:00:31 UTC
No problem at all. I'll put up a few PRs over xmas and try to keep them small. I talked to Anne about using "environment", but he suggested they are too volatile... so, I'm going to create some kind of persistent "push subscriptions store" instead. That will be just simple store that handles the association between push subscriptions, service workers, and the origin. -- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/368#issuecomment-1857193142 You are receiving this because you are subscribed to this thread. Message ID: <w3c/push-api/pull/368/c1857193142@github.com>
Received on Friday, 15 December 2023 03:00:31 UTC