news of the minutes_to_gh script

Dear WG participants,

the DID WG, RDF-star WG and JSON-LD WG have been early adopters of my 
"minutes_to_gh" script,
to include fragments of meeting minutes in the issues and PRs that were 
discussed during meetings.

I wanted to inform all of you of a significant change in how the script 
works:
from now on, the script will *only* comment an issue/PR if it appears as 
a topic or subtopic in the minutes.
Issues/PR simply mentioned in the discussion will *not* receive a 
comment with a link to the minutes, as was the case before (but see below).

Experience showed that the previous behavior was creating a lot of 
noise, some of which could not even be fixed by editing or removing the 
spurious comments. So I decided to be more conservative. Using issue/PR 
links in (sub)topic is already a largely adopted practice, so I don't 
expect this to be too disruptive, but be aware that this is now the only 
way to have the discussion reflected in the minutes.

Please also note that issues simply mentioned in the discussion will 
still be indirectly affected, as github adds a comment of sorts in an 
issue conversation when that issue is mentioned somewhere else. You have 
an example of this in https://github.com/w3c/did-extensions/pull/593, 
where github added this

 > pchampin mentioned this pull request XXX ago
 > Should there be a registry? Process to migrate to a W3C Registry? 
#565 <https://github.com/w3c/did-extensions/issues/565>

which was caused by a mentioned of this pull request in the transcript 
inserted at

https://github.com/w3c/did-extensions/issues/565#issuecomment-2476989295

There are cases where this cross linking maybe undesirable, but it would 
be really hard to prevent (github is quite smart at recognizing issue 
mentions).
Furthermore, those automatically-added cross-references do not disappear 
when the comment which caused them is edited or deleted...
So please keep this in mind and do not mention issues or PRs lightly on 
IRC (or do it off-the-record, using the "/me" command).

   best


[1] https://github.com/pchampin/minutes_to_gh