Re: Event Updated: RDF-star WG - minutes of previous meetings

On 02/03/2023 11:14, Adrian Gschwend wrote:
> On 01.03.23 19:07, Peter F. Patel-Schneider wrote:
>
>> The minutes from last week - 
>> https://www.w3.org/2023/02/23-rdf-star-minutes.html - need to be 
>> fixed up. The agenda items there do not reflect the discussion that 
>> occurred, making it hard to find relevant discussion when looking 
>> over minutes of past meetings.
>
> that's because some don't follow the agenda. If this is not acceptable 
> I will play bad cop but don't complain about me if I do so.
>
> I don't think it makes sense to change the agenda for the reason that 
> it was ignored in the discussion.
I think Peter is not suggesting to change the agenda, but to change the 
section titles in the minutes, to better reflect what was actually 
discussed.
>
>> There are other meetings that have the same problem, e.g., 
>> https://www.w3.org/2023/02/09-rdf-star-minutes.html.  It used to be 
>> that scribes edited the automatically-generated minutes to fix 
>> problems like these.  This editing phase should be reinstated.  I'm 
>> willing to go through older minutes and make these fixes if someone 
>> gives me the power to do so.
>
> @Pierre-Antoine what is the standard way for that?

Peter, as you volunteered ;) you could simply download the HTML files, 
edit them locally, and I will reflect the changes on the W3C server.

Processwise, I guess we would then need to vote on this minute again.

   best

>
>> It would be very useful to have a pointer to the minutes of previous 
>> meetings, currently being automatically generated in 
>> https://www.w3.org/services/meeting-minutes?channel=rdf-star&num=200

>
> Where in what form?
>
> regards
>
> Adrian
>