Pull requests, huh? I have like half a dozen bad jokes half formed in my brain…

But seriously, is this a thing on github these days? Spam through PRs (and presumably also Issues)? Can it be mitigated?

But I’m pretty sure Github is not the main place to develop the Linux kernel. I believe they have their own git servers and GH is only a mirror, so maybe PRs from GH are ignored altogether? IDK