Hacker News new | ask | show | jobs
by lionkor 752 days ago
I thought github let you turn off PRs on a repo -- the author may wanna do that.
2 comments
debugnik 752 days ago
No, you can't disable the PRs tab; you can disable any tab except Code and PRs. Torvalds famously complained about this because he handles pull requests through email, so all PRs on his Linux repo are useless.
link
tidwall 752 days ago
PRs cannot be disabled.
link
kubanczyk 752 days ago
...without archiving the repo.

Archived repos however have that ugly yellow warning.

link
drekipus 752 days ago
Can you still push to the repo? Perhaps via --force?
link