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.