I’m on board, as long as we are only talking about discussion updates, not general GitHub stuff
Mike On Thu, Feb 12, 2026 at 3:44 PM Sung Yun <[email protected]> wrote: > +1 for me as well, it's really nice to have all discussion updates > consolidated in one place (dev mailing list) > > Sung > > On 2026/02/11 06:56:19 Jean-Baptiste Onofré wrote: > > Hi folks, > > > > Currently, the GitHub Discussions notifications are sent to the > > [email protected] mailing list. > > If issues@ mailing list makes perfect sense for GitHub Issues, I'm not > sure > > it is for GitHub Discussions. > > As the dev@ mailing list is our primary channel for discussions, I > propose > > to send/notify the GitHub Discussions on the dev@ mailing list. > > > > I created a proposal PR: https://github.com/apache/polaris/pull/3739 > > > > This PR also includes two other changes: > > - updates on the GitHub Labels describing our repository > > - allow PR rebase button > > > > Thoughts? > > > > Regards > > JB > > >
