Hi, I see that some topics on the list are not in the github discussions and vice versa?
Shall we all consider the mailing list obsolete and move to github? Is there a way to get summaries from github or other kind of notifications by email? Cheers, Kiril.
