Hi all, We’re happy to announce that we’ve created a new mailing list: *[email protected] <[email protected]>. *GitHub traffic including pull requests, issues, and discussions, has been redirected from *[email protected] <[email protected]>* to this new list, effective immediately.
Please feel free to subscribe to it by sending an email to *[email protected] <[email protected]>*. Please note that the notifications@ list is intended primarily for automated messages. You are not encouraged to send emails there directly, as it may not be actively monitored. As an alternative to the notifications@ mailing list, you can use GitHub notifications <https://docs.github.com/en/subscriptions-and-notifications/get-started/configuring-notifications> for more fine-grained control. GitHub notification configurations are managed per account, allowing you to decide what content to subscribe to — for example, to subscribe to a single PR thread or mute updates from a specific issue. We hope this change will help keep the dev@ mailing list more focused on discussions and emails from human contributors. Best regards, Yicong Huang
