11:42
<annevk>
Apart from Fetch and HTML, do we have other WHATWG standards that introduce their own HTTP headers?
13:03
<annevk>
Pretty sure the answer is no now.
15:39
<Dominic Farolino>
It looks like https://spec.whatwg.org/ doesn't list web idl?
15:41
<annevk>
Dominic Farolino: you're looking at your cache
15:42
<annevk>
wanderview: using request's URL list exclusively could probably work, though I haven't done a blame dive
15:42
<annevk>
wanderview: I'm not sure if there are downstream dependencies on the tainted concept, there might be
15:45
<Dominic Farolino>
Ah
15:56
<Domenic>
Dominic Farolino: you're looking at your cache
This is kind of our bad for not revving the service worker cache key. Maybe we should automate that. The easiest way would probably be to use workbox instead of our hand-crafted service worker.
15:57
<Domenic>
annevk: ping on https://github.com/whatwg/html/pull/7079 ? rubber-stamp is fine since emilio already reviewed
15:58
<annevk>
Domenic: I could prolly bump it as part of the Python script that deploys sg stuff, but that wouldn't help with CSS updates and such
15:59
<annevk>
I'm not familiar with workbox