Re: [w3c/push-api] Add Declarative Web Push (PR #385)

@saschanaz commented on this pull request.



> +          <ol>
+            <li>
+              <p>
+                Let <var>message</var> be the result of [=parse JSON bytes to an Infra
+                value|parsing JSON bytes to an Infra value=] given <var>bytes</var>. If that throws
+                an exception, then return failure.
+              </p>
+            </li>
+            <li>
+              <p data-cite="INFRA">
+                If <var>message</var> is not a [=/map=], then return failure.
+              </p>
+            </li>
+            <li>
+              <p>
+                If <var>message</var>["`web_push`"] does not [=map/exist=] or is not 8030, then

Taking this back, I don't sej any alternative, and looking random is not harming anything. 

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

Message ID: <w3c/push-api/pull/385/review/2608629174@github.com>