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.

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.