Hey everyone!
We decided to move to GitHub Discussions:
Integration of issues and pull requests is much better with GitHub discussions, also you get notified the same way you get notified already for issues and pull requests. We can also convert issues to discussion and the other way round, which also is quite nice. Overall, we think everyone will benefit to have everything on just one plattform.
We will make this forum read only soon.
See you around!