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
