Re: [w3c/push-api] Expose pushManager on Navigator (PR #368)

@asutherland I just wanted to belatedly thank you for your suggestion there. I'm pretty close to being able to provide a new take on this PR that implements that. There might still be some hand-waving, but I think it improves upon the status quo.

I will create it as a new PR as the approach changed quite a bit, but will cross-link this one.

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

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

Received on Monday, 18 November 2024 17:52:08 UTC