The biggest non-tech problem, is just the overwhelming amount of notifications.
Is there anything users could do to help mitigate this? I think the recommendation for reporting bugs is to use the GitHub page. But for other issues?
Maybe a numbering system would help: so if a user tagged a dev, they start with a 1 for urgent, 2 for neutral(?), or 3 for ‘ignore if you’re busy’. There will be a problem of some users overemohasising their issue but it still might save time/attention overall as most users will likely respect such a system.
Or maybe a novel use of a dev community, which would allow the user base to help determine which issues are noteworthy?
Is there anything users could do to help mitigate this? I think the recommendation for reporting bugs is to use the GitHub page. But for other issues?
Maybe a numbering system would help: so if a user tagged a dev, they start with a 1 for urgent, 2 for neutral(?), or 3 for ‘ignore if you’re busy’. There will be a problem of some users overemohasising their issue but it still might save time/attention overall as most users will likely respect such a system.
Or maybe a novel use of a dev community, which would allow the user base to help determine which issues are noteworthy?