> I think the biggest issues with ticket systems is that not everyone
reads them.
There are tools to summarize issues and send mail. See for example the QUIC one, at https://mailarchive.ietf.org/arch/msg/quic/kj0Zx-U9wj9xm3XZVEufY-DGCko which uses github-notify whose link can be found at https://github.com/ietf-gitwg/wg-materials/blob/master/TOOLING.md
