Re:GitHub discusses giving maintainers control to disable PRs
by ethin on Monday February 02, 2026 @09:24PM
(#46865601)
That doesn't work. What if your repo is a mirror of another repo?
[ Parent
| on HN ]
There are no comments on this comment yet.