This can sometimes, in practice, be reasonable. If letting muh_dick_1488 open PRs means everyone else stops contributing, well, you're gonna have to pick a grou

This can sometimes, in practice, be reasonable. If letting muh_dick_1488 open PRs means everyone else stops contributing, well, you're gonna have to pick a group to keep.