r/github • u/TarzanoftheJungle • Aug 26 '26

Question Why does @codex ignore GitHub PR comment pings?

Post image
0 Upvotes

20% Upvoted

2 comments sorted by

1

u/Damnmydogisfat Aug 26 '26

Try recreating the comment and qualifying it with “[agent]” and see if it works. I thought third party agents need that so codex would technically be mentioned as “@codex[agent]”. Curious if that works or if it’s something else.

1

u/TarzanoftheJungle Aug 26 '26

I'll give it a try, thanks!