Working draft auto-publishing seems working, but editor's draft is now out-of-date

w3c / media-source

Media Source Extensions

https://w3c.github.io/media-source/

Other

268 stars 57 forks source link

Working draft auto-publishing seems working, but editor's draft is now out-of-date #311

Closed wolenetz closed 2 years ago

wolenetz commented 2 years ago

Current WD at https://www.w3.org/TR/media-source-2/ (and self-referring within its 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?

wolenetz commented 2 years ago

In addition to out-of-date main MSE spec ED, once #310 is approved and merged, will the pipeline image description be correctly updated at the ED site to which both WD and ED specs refer for that image description now that #308 has merged?

wolenetz commented 2 years ago

It appears both WD and ED specs now are current with each other (Sep 21 2022 version). Closing.