News for hackers. Stuff that matters.

A comment on Firefox Moves to GitHub. Parent comment

Re:Firefox Moves to GitHub by Flimm on Tuesday May 13, 2025 @02:38AM (#43970118)
It's impossible to disable PRs on GitHub, sadly. See https://github.com/dear-github/dear-github/issues/84
[ Parent | on HN ]
Re:Firefox Moves to GitHub by SCdF on Tuesday May 13, 2025 @04:20AM (#43970714)
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.

[ Parent | on HN ]