Re:GitHub Actions update: Helping maintainers combat bad actors
by __s on Friday April 23, 2021 @08:03AM
(#26913823)
You're right, likely the OP thought PRs were included in settings where you can disable issues or wikis
Discussion: https://github.com/dear-github/dear-github/issues/84
How? I did not find it possible to turn off pull requests when I last looked. Is that something they've added recently?