I think he has given up on change so he's just moving on. I'd bet he has named the names elsewhere and repeatedly for some time before it came to this.
Well, I don't know what the point of this is then. The Github issue is obviously a resignation in protest and a call to action - they explicitly state that people need to be removed. And yet this call to action is impossible to pursue.
I am sure that some people know who's at fault. But this Github issue wasn't a private message to those people, it was a public one. This is a public call to action where the public has no information.
