Re: GitHub Discussion for doc-* repos

On 31/03/2022 12:06, Sergey Panteleev wrote:
> - Possibility to keep track of interesting topics and unsubscribe from 
> uninteresting ones, instead of an uncontrolled mailing list;


I've not tried the Discussions feature, so maybe it's better, but the 
notification filters for the rest of Github are pretty awful.

For a low-traffic list like this one, I'm not sure there'd be much 
benefit. For a high-traffic list like php-internals, I'd need convincing 
that Github Discussions was a better fit than any of the dozens of 
different forum systems out there.

Regards,

-- 
Rowan Tommins
[IMSoP]