On Mar 25, 2019, at 01:56, Mojca Miklavec wrote:

> would prefer if he or she would perhaps spend time adding novel
> functionality, which could even be allowing user comments on each port
> (which you could use to explain why the port appears to be broken)

The ability to add comments on web pages is usually terrible. At best, you'll 
get a user adding a comment providing a useful recommendation or helpful tip. 
But I expect the majority of comments would actually be spam (which we would 
have to delete) or bug reports. Instead of implementing comments, we should 
refer users to existing support channels like the mailing lists and issue 
tracker. A list of open tickets and PRs for this port could even be shown on 
the page.

Reply via email to