Imagine you have been purposefully targeted for harassment or excluded from activities in the past due to your preferred pronouns or perceived gender. Seeing “he” with that context would likely feel excluding, which is a reason someone without an ‘agenda’ would want to see it changed.
By definition, an agenda is “a program of things to be done or considered” which does not equate to wanting to do something. It more closely resembles a daily planner or task list.
So in as much as you and I have an “agenda” when we get out of bed, you are right, the person submitting the PR did likely have an agenda of waking up and going about their day. There isn’t a ‘woke agenda’ at play here, however, as the person I replied to seemed to imply.
I don’t understand the point you’re trying to make
Imagine you have been purposefully targeted for harassment or excluded from activities in the past due to your preferred pronouns or perceived gender. Seeing “he” with that context would likely feel excluding, which is a reason someone without an ‘agenda’ would want to see it changed.
I still don’t care even if that were me. This is a nothing burger. Also I bet if it said “she” instead, nobody would have said anything.
So, by definition, “someone” has their own agenda.
It’s worth understanding that “agenda” has a negative connotation. In this context, it’s used as a dogwhistle against women and queer people.
By definition, an agenda is “a program of things to be done or considered” which does not equate to wanting to do something. It more closely resembles a daily planner or task list.
So in as much as you and I have an “agenda” when we get out of bed, you are right, the person submitting the PR did likely have an agenda of waking up and going about their day. There isn’t a ‘woke agenda’ at play here, however, as the person I replied to seemed to imply.