We have improved our community features dremendously by switching from JIRA to GitHub issues. I'll demonstrate what has changed and would like to get into discussions with you.
Notes:
Github Issues:
We try to further automate labeling of issues and PRs to make sure that PRs have similar labels as the related issues.
This makes it easy to keep an up-to-date list of milestones and auto-creating release notes which is based on PRs.
Github Discussions:
What to discuss on Github on what to discuss only on the mailing list?
We created a "dev" category in Github Discussions where we collect development-related discussions.