Re: Minutes of today's call

TL;DR: thanks to Ivan for his advices. The minutes have been cleaned, 
and are now available here:

https://w3c.github.io/rdf-star/Minutes/2020-11-13.html 
<https://w3c.github.io/rdf-star/Minutes/2020-11-13.html>

On 14/11/2020 09:43, Ivan Herman wrote:
>
>
>> On 14 Nov 2020, at 09:13, Pierre-Antoine Champin 
>> <pierre-antoine.champin@ercim.eu 
>> <mailto:pierre-antoine.champin@ercim.eu>> wrote:
>>
>> Hi all,
>>
>> today, we had our first weekly call.
>>
>> Thanks a lot to Ruben Taelman for scribing, and my apologies to him, 
>> because my poor skills at driving RRSAgent led to very ugly 
>> minutes... But they are here, nonetheless:
>>
>> https://www.w3.org/2020/11/13-rdf-star-minutes.html 
>> <https://www.w3.org/2020/11/13-rdf-star-minutes.html> 
>> <https://www.w3.org/2020/11/13-rdf-star-minutes.html 
>> <https://www.w3.org/2020/11/13-rdf-star-minutes.html>>
>>
>> If anyone knows of a trick to "patch" the IRC log in order to clean 
>> them up, I'll buy.
>
> You can download the IRC log on your machine, clean them up; you can 
> also download the basic script that generates the minutes (it is a 
> PERL script if you still remember that language:-).
Rings a distant bell ;-)
> To get back the minutes to the W3C site is more difficult, you have to 
> find a person who has write access to the CVS, and bribe him/her to do 
> that for you:-)
>  Alternatively, you can use a different place (eg, a github repo) to 
> store the minutes.

As I expect more cleaning to be required in the future, I think that's 
the best option!

Thanks again


>
> I.
>
>
>>
>>   best
>>
>>
>> <OpenPGP_0x9D1EDAEEEF98D438.asc>
>
>
> ----
> Ivan Herman, W3C
> Home: http://www.w3.org/People/Ivan/ <http://www.w3.org/People/Ivan/>
> mobile: +33 6 52 46 00 43
> ORCID ID: https://orcid.org/0000-0003-0782-2704 
> <https://orcid.org/0000-0003-0782-2704>
>