How about both? A comment describing how the name of the product is a violation of GitHub's name and branding usage guidelines does not somehow cancel out other comments.

If everybody wrote the same comment, there would be no point to commenting.