4 ms·
... and look at all the PRs that are not being merged. He should disable them.
... and look at all the PRs that are not being merged. He should disable them.
Unfortunately, there's no way to disable pull requests on Github. The closest you can get is an Action to automatically close them when they're created.
I didn't claim they were, just pointing out it's 'on GitHub' as much as it will be already.