I think you have a fair point. HR issue. For an employee this is a big red flag - now Ben's employer will probably receive some angry emails this weekend and Ben will probably face some angry comments this weekend too. Nasty situation.
If we do let Ben be a good man as he claims to be, then maybe it was a stupidity to rule out the ticket so quickly. How would a clever "sexist" person do? This "sexist" person would probably say "well, I don't like they. Not the way my teacher taught me grammar. Rephrase the whole sentence."
Or just don't bother deal with any pull request related to sexist.
But I agree with the parent. The CEO is afraid of any negativity. This is a typical way people handle crisis - find someone responsible and fire that person. A true heroic responsible CEO should first accept / address issue with the PR, then if the community thinks "YES DO IT" then accept the pull request and requires at least 2 contributors with sign off privilege to accept a pull request from that point onward. Firing someone quickly is the worst way to be a boss.