- From: Matt Wolenetz via GitHub <sysbot+gh@w3.org>
- Date: Thu, 05 May 2022 22:45:38 +0000
- To: public-html-media@w3.org
wolenetz has just created a new issue for https://github.com/w3c/media-source: == Working draft auto-publishing seems working, but editor's draft is now out-of-date == Current WD at https://www.w3.org/TR/media-source-2/ (and self-referring within it's document header, https://www.w3.org/TR/2022/WD-media-source-2-20220505/) appears to correctly have recent commits to w3c:main auto-published. However, current ED at https://w3c.github.io/media-source/ appears to be out-of-date, with date "29 September 2021". @tidoust - this doesn't seem to be correct. Can you assist investigation? Please view or discuss this issue at https://github.com/w3c/media-source/issues/311 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 5 May 2022 22:45:39 UTC