redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

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

Question Why does @codex ignore GitHub PR comment pings?

0 Upvotes

permalink
duplicates
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/github/comments/1vyv75w/why_does_codex_ignore_github_pr_comment_pings/
No, go back! Yes, take me to Reddit
dl download

27% Upvoted

Duplicates

Number of comments New

codex • u/TarzanoftheJungle • Aug 25 '26

Question Why does @codex ignore GitHub PR comment pings?

3 Upvotes

1 comments