Hi JB, I agree with the proposed changes, however I note that the current PR doesn't enable the rebase button (afaict). I support this option: used *wisely* it can be a good fit e.g. for feature branches.
Thanks, Alex On Wed, Feb 11, 2026 at 7:57 AM Jean-Baptiste Onofré <[email protected]> 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
