On 23-Sep-23 06:42, Michael Richardson wrote:
Toerless Eckert <[email protected]> wrote: > So, i am always happy in taking recommendations how to best rectify this type of issue. > I am of course always a believer in better tooling, but i wouldn't know if/how we would > best copy e.g. relevant parts of the github discuss to the mailing list. For important > messages on the github, it would for example be lovely to create a copy to the mailing > list by some simple mechanism, such as @anima-wg or the like, but i > don't there is such a way. Any thread on github that has more than two opinions needs to come to the list. Do this *before* you reach some conclusion, in order to avoid getting exhausted.
Certainly, but that depends on humans. We also need filters for github messages, because if you are subscribed to a repo, you tend to get a lot of trivia as well as substantive discussions. There is perhaps a way to get a digest of activity on a repo. See https://www.rfc-editor.org/rfc/rfc8874.html#section-4.3, but it doesn't give many details. Brian _______________________________________________ Anima mailing list [email protected] https://www.ietf.org/mailman/listinfo/anima
