They didn’t make a “report”, I think the word you’re looking for is “issue”. What they did was open a “pull request” that got rejected. So more of a “hey I made a small change to make everything more inclusive that will not affect you in any way” and the dev said “please don’t be political here”.
The person suggesting the change wasn’t being political but the dev was by rejecting the change
I’m sorry but “project documentation should not be discussed in a GitHub issue or pr” is what you’re going with?? Where the fuck else would you discuss it?