undefined | Better HN

0 pointsSCdF0y ago0 comments

Right, but distributed git As Torvalds Intended™ doesn't solve those problems, so it's not related.

For the actual event we are commenting on, they have disabled all features other than code hosting and PRs.

0 comments

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

SCdFOP0y ago

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.

j / k navigate · click thread line to collapse

0 comments

Flimm0y ago

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

SCdFOP0y ago

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.

j / k navigate · click thread line to collapse