Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It's impossible to disable PRs on GitHub, sadly. See https://github.com/dear-github/dear-github/issues/84


Interestingly 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.




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: