And their line manager would have followed up with "if I even hear a rumor of this happening again, you'll be fired for cause". Because such harassment is, per my understanding, illegal, and can create enormous problems for the individual, manager, and company. Not to mention incredibly unethical.
The individuals, while allegedly shitlords in terms of their behaviour, being gone may eliminate 2 problems, but honestly they're products of an overall culture. In a healthy company you wouldn't have a guy (allegedly) reverting commits or shittalking individuals in comments because they wouldn't fuck him for very long after the first few efforts, because their peers or line manager would have said, "dude, not cool".
[Edited for clarity]