More classes of maintainer

[Perry E. Metzger]

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