Hi all, JV and me had a short discussion about emails in the dev mailing list. Most of the emails are coming from github notifications. If you don't have filters setup correctly, it might be annoying and hard to follow the real discussion happening in dev@.
Shall we consider moving all the github notifications to other mailing lists? like issues@? Any thoughts? - Sijie
