I haven’t seen any commit related emails or do you mean those notifications around PR activities like comments from GitBox?
"[GitHub] [incubator-pekko] mdedetrich commented on a diff in pull request #2: Update and apply scalafmt” If yes: I’m already filtering them out as I’m getting the notifications directly on GitHub but a separate email list would still make sense. Even though a more generic address like [email protected] <mailto:[email protected]> seems more appropriate? (As it’s not just commits) > On 3. Nov 2022, at 09:32, Greg Methvin <[email protected]> wrote: > > +1 > > Let's keep the dev mailing list for real discussion. > > On Thu, Nov 3, 2022 at 1:25 AM Claude Warren, Jr > <[email protected]> wrote: > >> Currently the commits from git are getting added to the dev email list >> creating a lot of noise. >> This proposal is to create a [email protected] email list and have >> all git messages go there. >>
