Re: news of the minutes_to_gh script

On Wed, Nov 20, 2024 at 3:58 AM Pierre-Antoine Champin
<pierre-antoine@w3.org> wrote:
> and it should do the magic.

Magic, indeed! Thank you, Pierre-Antoine, for all the work you put
into this... it's a really useful tool! Also, a big thank you to Ivan
for the precursor to this tool, which has helped me save many hours of
time trying to find out what the WG decided for a particular issue so
I could write the text that achieved consensus)!

Long live IRC! *ducks*

-- manu

-- 
Manu Sporny - https://www.linkedin.com/in/manusporny/
Founder/CEO - Digital Bazaar, Inc.
https://www.digitalbazaar.com/

Received on Wednesday, 20 November 2024 21:08:21 UTC