

Someone made a PR to refer to users in documentation as “they” instead of “he”. The lead maintainer rejected it saying “This project is not an appropriate arena to advertise your personal politics.” and then added a part against personal politics in the code of conduct. One brigade attracted for good reason later, another maintainer quietly merged the PR. It’s very weird, but not anything too serious IMO.
Check my comment, he was referring to the user reading the documentation in general.