This doesn't help with PR spam if that junk still shows up in regular "is:pr" se...

halapro 4 months ago | parent | context | favorite | on: We stopped AI bot spam in our GitHub repo using Gi...

This doesn't help with PR spam if that junk still shows up in regular "is:pr" searches. I don’t think unrequested unmerged AI PR spam is useful for compliance, just like deleted comments and issues aren't.