Hmm I don't think you really understand what happened.
The developer wrote a comment (not visible to the end user) using the male form.
A random person opened a pull request without any useful changes, except for changing that comment from "he" to "their".
The developer rejected that PR because it's politically motivated and it doesn't add anything else.