- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 2 Mar 2023 11:11:41 -0500
- To: public-rdf-star-wg@w3.org
On 3/2/23 10: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. > > Gregg Indeed. There really should be an editing phase where the scribe edits the raw log so that the actual minutes better reflect reality. This used to be the case, and I seem to remember that the scribe could even edit the minutes afterwards if there were any problems raised by WG members. As well, the initial minutes were sent out to the WG shortly after the meeting so that WG members were reminded to look them over and suggest changes. I appreciate that the current process may require less manual intervention, but it seems like the current process results in less-useful minutes. peter
Received on Thursday, 2 March 2023 16:11:55 UTC