[cwassert]

I think it is a bid problematic that anybody can create an account on github and open issues there (if enabled). No "professional", paid software would allow ordinary users to communicate directly with the programmer. Or allow outsiders to post comments on their products website. Just moving discussions to irc would already filter a lot of spam. As a last resort you could require some kind of proof that you are a maintainer of a bigger distribution. Or something in between.

[chatmasta]

While it may not detract from your point, note that the behavior in question did not occur on GitHub but rather on Codeberg.org.

[balamatom]

>I think it is a bid problematic that anybody can create an account on github and open issues there (if enabled).

I think it's a bit problematic to use GitHub in 2025 if you are doing F/OSS

[Kuinox]

GitHub wasn't used there. It was on Codeberg.