Mastodon user posts about rejected change suggestion to neutral pronouns. Many critical comments get posted on the old rejected PR (arguably harassment, certainly not productive).
Someone else creates a PR to fix grammar mistakes, including pronouns, it gets merged.
Tl;dr?
Mastodon user posts about rejected change suggestion to neutral pronouns. Many critical comments get posted on the old rejected PR (arguably harassment, certainly not productive). Someone else creates a PR to fix grammar mistakes, including pronouns, it gets merged.