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
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
Linux kernel does not accept contributions from github so this repo was always like that
The only new thing here is this
Why is it on github then? What’s the point?
It’s basically a read only mirror with links to the right place. That makes it easier to find or clone for many people
Why do they accept PRs then? Pretty sure you can turn that off.
Afaik you very much can not turn it off
I’m pretty sure the mirror was setup before that was an option. No reason to turn it off now that it’s a source of entertainment.
Is it an option? Can’t find it. (But GitHub is confusing and I’m old, so maybe there’s something?)