big +1 :) regards,
François On 09/03/2023 11:49, ZhangJian He wrote:
Hi, all. I am writing to request that we consider sending Git-related information to [email protected] instead of the current mailing list. As you may know, the current mailing list contains all the PR and issue information, as well as some responses from the bot. While this information is essential for developers working on the project, it may not be suitable for subscribers who are interested only in the code changes. Therefore, I suggest that we move all Git-related information to [email protected], which would allow subscribers to only receive notifications about code changes. This would also make it easier to filter and manage the mailing list, as well as provide a more streamlined communication process for everyone involved. Thank you for your attention to this matter, and I look forward to your feedback. Thanks ZhangJian He
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
