I think GH merge-strategy and GH discussions are different topics and it's probably better to not mix those in a single PR/discussion.
Regarding the GH discussions, I think it's worth to give it a try and send to dev@ On Wed, Feb 11, 2026 at 10:09 AM Alexandre Dutra <[email protected]> wrote: > 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 >
