Github deals with a lot of bots/AI that open pointless/spam/bad PRs/issues/etc.

https://github.com/orgs/community/discussions/158850 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.