3
Post
@Foxboron it took me a moment to realize, that only pull requests have died🙈
@Foxboron PRs for the kernel are to send via mailing lists anyway, aren't they?
@Foxboron holy crap ... did he just ... flush them? or were they they before? Wild
You can disable pull requests on github now! So it's just an empty interface because Github didn't actually do this properly.