Decide for one Bugtracker

Hi,I recently ended up adding some stuff to the issue-queues of the respective GitHub repositories (https://github.com/LaosLaser/Firmware/issues).I did not remember, you are also using redmine, so this could be a problem since issues/bugs could be forgotten or duplicated.I personally like the GitHub version more, because it's well integrated with the code (e.g. references from commit messages) and supports pull-requests. But I also understand the advantages of self-hosted solutions.So what is you preference? Should bugs/issues/pull-requests be discussed here or on GitHub? Maybe we should make this information obvious by either disableing the GitHub issues or make an info-box on the redmine page?

Redmine is OK as a forum and wiki.Integration of forum and bug-tracker is nice, but integration with the actual code is notso great. Github provides better issue/code integration.User-interface is somewhat more modern.

I do see the downside of yet another platform (another login, another user interface etc.) but mostdevelopers are on github already.

But we will keep Redmine as a wiki and forum for all developers and users.