|
|
|
|
|
by madeofpalk
1553 days ago
|
|
GitHub should have an option to disable PRs for a repo, however: - Owners are of no obligation to approve, close, merge, or interact with a PR in any way. If you don’t want to merge a PR, just don’t. - you can include a readme which can include whatever discouragement you want. - if you have a CONTRIBUTORS.md file, GitHub will show that to first time contributors when they submit a PR. - I’m sure you could trivially have a GitHub action that will auto close all PRs as soon as they’re submitted. |
|