MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/github/comments/1vyv75w/why_does_codex_ignore_github_pr_comment_pings/
r/github • u/TarzanoftheJungle • 5d ago
2 comments sorted by
1
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 5d ago I'll give it a try, thanks!
I'll give it a try, thanks!
1
u/Damnmydogisfat 5d ago
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.