Github deals with a lot of bots/AI that open pointless/spam/bad PRs/issues/etc. https://github.com/orgs/community/discussions/158850 https://github.com/orgs/co

Github deals with a lot of bots/AI that open pointless/spam/bad PRs/issues/etc. https://github.com/orgs/community/discussions/158850 https://github.com/orgs/community/discussions/158850 https://www.reddit.com/r/developersIndia/comments/1akh9ll/a_wave_of_spam_pull_requests_on_a_famous_open/ https://www.reddit.com/r/developersIndia/comments/1akh9ll/a_... etc etc etc Github needs moderation, just like anything else with user-created content. I am not in the tiniest bit surprised that sometimes moderation makes a mistake, whether human error or automated error.