14 ms·

PRs are not optional: there is no way to disable them on GitHub. I can't be sure that this is intentional, but it certainly works out well for them that this is

by mlugg 10mo ago

PRs are not optional: there is no way to disable them on GitHub. I can't be sure that this is intentional, but it certainly works out well for them that this is one of many properties which make it quite difficult to migrate away from the platform.

8organicbits 10mo ago
Yikes, the PRs on the Linux repo are quite terrible. At least there's a bot to auto-reply with the correct procedure. https://github.com/torvalds/linux/pull/1370 https://github.com/torvalds/linux/pull/1370
jamesnorden 10mo ago
There's technically a way[1], but you'd have to do it every 6 months which is not great. https://docs.github.com/en/communities/moderating-comments-and-conversations/limiting-interactions-in-your-repository https://docs.github.com/en/communities/moderating-comments-a...
- mlugg 10mo ago
  Yeah, that's actually what we've done on the Zig GitHub repository. However, it doesn't stop pushes to existing PRs, which isn't ideal; and, yes, it's quite hard to escape the conclusion that there being no "until I turn it back on" option is intentional.
  - ACCount37 10mo ago
    It's completely intentional, and goes back to when GitHub was founded. GitHub was intended as a collaborative software development platform, not "look but don't touch".
    - noname120 10mo ago
      I suppose you can fork a repository if you want to collaborate with others though. Reviewing pull requests and engaging with a community is a lot of work and has possible legal ramifications; in many cases it’s faster to just do things yourself. Some teams/companies deliberately refuse outside contributions for this reason.
  - noname120 10mo ago
    You can close them and limit discussion to contributors I guess? Not ideal but at least they wouldn’t appear in the pull requests tab. Alternatively you can use a bot or a GitHub Action to automatically change the description and title of the pull request to something like “[PRs are not allowed and deleted automatically]”. But yeah not a perfect solution either…
chillfox 10mo ago
I guess you could make a bot that closes any opened PR with a message that PRs are not accepted on Github and a link to the contribution docs.

by mlugg 10mo ago

8organicbits 10mo ago

Yikes, the PRs on the Linux repo are quite terrible. At least there's a bot to auto-reply with the correct procedure. https://github.com/torvalds/linux/pull/1370 https://github.com/torvalds/linux/pull/1370

jamesnorden 10mo ago

There's technically a way[1], but you'd have to do it every 6 months which is not great. https://docs.github.com/en/communities/moderating-comments-and-conversations/limiting-interactions-in-your-repository https://docs.github.com/en/communities/moderating-comments-a...

mlugg 10mo ago
Yeah, that's actually what we've done on the Zig GitHub repository. However, it doesn't stop pushes to existing PRs, which isn't ideal; and, yes, it's quite hard to escape the conclusion that there being no "until I turn it back on" option is intentional.
- ACCount37 10mo ago
  It's completely intentional, and goes back to when GitHub was founded. GitHub was intended as a collaborative software development platform, not "look but don't touch".
  - noname120 10mo ago
    I suppose you can fork a repository if you want to collaborate with others though. Reviewing pull requests and engaging with a community is a lot of work and has possible legal ramifications; in many cases it’s faster to just do things yourself. Some teams/companies deliberately refuse outside contributions for this reason.
- noname120 10mo ago
  You can close them and limit discussion to contributors I guess? Not ideal but at least they wouldn’t appear in the pull requests tab. Alternatively you can use a bot or a GitHub Action to automatically change the description and title of the pull request to something like “[PRs are not allowed and deleted automatically]”. But yeah not a perfect solution either…

chillfox 10mo ago

I guess you could make a bot that closes any opened PR with a message that PRs are not accepted on Github and a link to the contribution docs.