On 11/2/23 20:58, Rainer Müller wrote:
Did the situation change since our assessment back then? As far as I am aware, there is still not a way to categorize GitHub Issues except with labels. How would we manage the ~4000 open tickets for ports with GitHub Issues?
I think that much of what's changed in the last seven years has been people's expectations and how people engage with open source projects hosted on Github. It's clearly the case that moving tickets to Github would mean loss of some information, but I think it would be far outweighed by the improvement in engagement by the user community.
Perry
