3 ms·
> You can also disable … pull requests That is the one thing you can’t disable on GitHub unless something changed recently. Very annoying for mirrors where dev
by oefrha 3y ago
> You can also disable … pull requests
That is the one thing you can’t disable on GitHub unless something changed recently. Very annoying for mirrors where development happens elsewhere.
- TillE 3y agoMake a README.md which clearly states this at the top, and a CONTRIBUTING.md. After that, it's just not your problem if someone opens a PR.
- duskwuff 3y agoThere are a couple of other options, although I'll agree that none of them are ideal: 1) You can set up Github Actions to automatically close pull requests: https://github.com/marketplace/actions/close-pull-request https://github.com/marketplace/actions/close-pull-request 2) You can use "interaction limits" (in repository settings, under "moderation options") to limit repository interactions to collaborators. This can only be set for 6 months at a time, though, so you'll need to reactivate it periodically. 3) You can archive the project and unarchive it temporarily when making changes, disabling all activity on the fork.