- From: François Daoust via GitHub <sysbot+gh@w3.org>
- Date: Thu, 26 Sep 2019 14:47:01 +0000
- To: public-html-media@w3.org
tidoust has just created a new issue for https://github.com/w3c/media-source: == Drop generated versions from the repo? == @wolenetz, @mwatson2, There was some discussion during TPAC on switching MSE (and EME) to the latest version of ReSpec. There is no a priori problem doing so, although some editorial updates are likely going to be necessary. Happy to help if needed. On top of that, I note that the structure of the repository is a bit unusual. Common practice with Respec documents is to only commit the source spec. This repository contains both the source (files ending with `-respec`) and the generated version of the spec. There may be good reasons why things got done that way. I personally find it a bit clumsy since it means both representations need to be kept in sync manually. Do you want things to stay that way? If not, I suggest to replace the generated versions with the source files, and to get rid of the `-respec` files. Happy to prepare a PR for that, but I wanted to get your perspective first. Also, what is the difference between `index.html` and `media-source.html`? Please view or discuss this issue at https://github.com/w3c/media-source/issues/239 using your GitHub account
Received on Thursday, 26 September 2019 14:47:02 UTC