Actually, I went back and looked, we already have a [email protected] mailinglist, we just have to redirect to it.
On Thu, Nov 3, 2022 at 8:38 AM Andreas Gabor <[email protected]> wrote: > 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. > >> > >
