- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Fri, 3 Mar 2023 10:09:15 -0500
- To: public-rdf-star-wg@w3.org
On 3/2/23 12:44, Pierre-Antoine Champin wrote: > > On 02/03/2023 16:55, Gregg Kellogg wrote: >> On Mar 2, 2023, at 3:10 AM, Pierre-Antoine Champin <pierre-antoine@w3.org> >> wrote: >>> [...] >>> Peter, as you volunteered ;) you could simply download the HTML files, edit >>> them locally, and I will reflect the changes on the W3C server. >> Maybe some feedback to the system team to improve the experience? If the raw >> log were in a Git repo that could be exposed, it would make submitting edit >> requests much easier, and the. It could rebuild the HTML automatically. > > Good point. > > I took the easy path, which is to rely on RRSAgent to automatically generate > and publish the minutes... The drawback is that they sit on the W3C's website. > This is less work than what I used to do with the CG (generating them locally > and publishing them on the github repo) but I may come back to this if we > consider that there is added value for the group. [...] I don't see any downside in having the log and minutes in the W3C website, as long as the log can be edited and the minutes regenerated. I seem to remember that it was possible for scribes to edit the log and then have the minutes regenerated. peter
Received on Friday, 3 March 2023 15:09:29 UTC