If no other sounds, I will process it recently, but feel free to discuss it at any time in the future.
On Mon, Sep 19, 2022 at 11:12 AM Xinyu Zhou <[email protected]> wrote: > Or, we can follow the template from the infra: > > ``` > notifications: > commits: [email protected] > # Send all issue emails (new, closed, comments) to issues@ > issues: [email protected] > # Send new/closed PR notifications to dev@ > pullrequests_status: [email protected] > # Send individual PR comments/reviews to issues@ > pullrequests_comment: [email protected] > ``` > > Just creating an issues mailing list is enough. > > On Mon, Sep 19, 2022 at 11:09 AM Xinyu Zhou <[email protected]> wrote: > >> Hello, community, >> >> Recently, I found our dev mailing list is occupied by GitHub actions, >> making it difficult to highlight critical emails. >> >> Since we already have a commits mailing list([email protected]), >> how about directing GitHub actions to this mailing list? Or we can keep the >> pull requests status notifications and direct other notifications to the >> commits mailing list. >> >> Any discussions are welcome. >> >> Regards, >> Xinyu Zhou >> >>
