Just to be clear, the use of the gendered pronoun isn't the issue -- it was the insistence on it, to the point of attempting to revert @izs's commit fixing the issue. To me, that transcends from rational position to unacceptably inappropriate, and it speaks well beyond a pronoun. You might say that reaction is extreme, but I would be willing to bet that you've fired people for less: I bet you have (or would) fire people for merely being an asshole. Firing someone for being such an asshole on such a small issue that in fact has broader consequences for the hostility of a work environment is actually a no-brainer.