| 03:16 | <Domenic> | tobie: in https://github.com/whatwg/html/pull/3273 pushing new commits doesn't seem to update the PR preview |
| 18:05 | <annevk> | Domenic: that looks ok now? Usually takes a while due to all the scripts |
| 18:06 | <annevk> | Domenic: I guess ideally it would mention which commit it reflects |