Totally. Just takes a tiny number of problem users to cause major problems. In this case maybe it could have been handled better by temporarily blocking that r

Totally. Just takes a tiny number of problem users to cause major problems. In this case maybe it could have been handled better by temporarily blocking that repo instead of the whole account, since it was clearly a legitimate dev doing work on a prominent repo.