2 ms·
It's impossible to disable PRs on GitHub, sadly. See https://github.com/dear-github/dear-github/issues/84 https://github.com/dear-github/dear-github/issues/84
by Flimm 1y ago
It's impossible to disable PRs on GitHub, sadly. See https://github.com/dear-github/dear-github/issues/84 https://github.com/dear-github/dear-github/issues/84
- SCdF 1y agoInterestingly mozilla has effectively done this here, by using a GitHub action that automatically closes any PR with a message explaining that PRs are not to be used. It's very silly they have to do this, but at least they can I suppose.