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

On 02/03/2023 17:11, Peter F. Patel-Schneider wrote:
>
>
> 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.

What I am aware of is the ability to "patch" the minutes using the 
vi/sed-like substitution on IRC "s/old text/new text/". I usually try to 
do that right after the call when I spot mistakes/typos in the script, 
then ask RRSAgent to generate the minutes again. /This/ does not require 
team privilege, anyone can do this.

However, I don't know of any method to use RRSAgent to change and 
regenerate the minutes post-hoc (i.e., after the end of the day or once 
RRSAgent has left the IRC channel)... This is where I resort to patching 
the files directly on the server.

To the question of modifying the IRC log (and regenerate the HTML) vs. 
modifying the HTML directly: I have mixed feelings. In my view, the IRC 
log is just that, a log of what happened. The HTML minutes, on the other 
hand, are an edited document. So I slightly prefer to make the changes 
on the HTML version. But I can live with both.

Note that the raw IRC logs *are* available to anyone: there is a link at 
the top right of the minutes. When you click on it, you get an HTML 
rendering of the IRC log, but you can get the plain-text version by 
adding ".txt" at the end (or by using HTTP conneg).

>
> I appreciate that the current process may require less manual 
> intervention, but it seems like the current process results in 
> less-useful minutes.
I agree, and I am willing to change the process if the group feels there 
is added value in it.
>
> peter
>
>