W3C home > Mailing lists > Public > public-rdf-star@w3.org > November 2020

Re: Minutes of today's call

From: Pierre-Antoine Champin <pierre-antoine.champin@ercim.eu>
Date: Mon, 16 Nov 2020 09:22:08 +0100
To: Ivan Herman <ivan@w3.org>
Cc: "public-rdf-star@w3.org" <public-rdf-star@w3.org>
Message-ID: <dbcd2bb7-ec54-8bb7-9606-78618d96cfce@ercim.eu>
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>
>

Received on Monday, 16 November 2020 08:22:13 UTC

This archive was generated by hypermail 2.4.0 : Monday, 16 November 2020 08:22:13 UTC