From what I remember, the lead dev chose to use “he” or “him” in the code comments when referring to how a user would be using something. But then just kept closing requests to simply use a neutral term since a user isn’t defaultly a male. Instead the dev justified keeping the term because changing it to “they” would somehow bring politics into it or something like that.

So he is choosing to just keep low level gender stereotypes about tech being something that guys do and use. Not sure of course if he is much more sexist beyond that, or if he is just picking a weird hill to die on due to maybe feeling “attacked” and therefore leaning into it. There might be other examples that I haven’t seen aside from the situation above.