Hi Piotr,
thanks for bringing this up again ;-)
We discussed that some time ago, but nobody has taken the time yet to
change this.
I am +1 on merging those lists into [email protected].
All those lists have nearly no traffic, so users won't really notice.
Regards,
Jan
On 10/5/26 12:22, Piotr P. Karwasz wrote:
Hi all,
We currently have 6 different mailing lists with no traffic on them:
- [email protected],
- [email protected],
- [email protected],
- [email protected],
- [email protected],
- [email protected].
What do you think about closing them all and creating a new
[email protected] mailing list?
I don't expect any traffic on the new mailing list either, but we should
have one for user questions. We can also forward GitHub Discussions there.
What do you think?
Piotr