- From: Florian Rivoal via GitHub <noreply@w3.org>
- Date: Tue, 03 Feb 2026 13:52:43 +0000
- To: public-css-archive@w3.org
Thanks, this is the kind of thing we need. I wonder if we have a dependency on any particular flavor of markdown. I don't know what the current server uses, but it'd be good to check if that's the same as what's proposed here or not. Another consideration is that quite a few of our markdown files start their life as documents served by GitHub, and might be using various features of GitHub flavored markdown (which may or may not be preserved by the current server). If so, and if we want to support that, maybe using a tool like https://github.com/joeyespo/grip could help. -- GitHub Notification of comment by frivoal Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/13432#issuecomment-3841462554 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 3 February 2026 13:52:44 UTC