Files
Joey-nexuandGitHub 9af288652c ci: notify Discord #resolved when an issue is closed by a merged PR (#685)
* ci: notify Discord #resolved on issue close-via-merged-PR

* ci: address review feedback on Discord #resolved workflow

P1:
- Add contents:read permission (required by listPullRequestsAssociatedWithCommit)
- Drop cross-referenced timeline fallback to eliminate false positives from
  plain mentions; closed-event+commit_id is now the only resolver path
  (also fixes the cross-repo number-collision concern Codex raised)

P2:
- Validate webhook URL prefix before POST (reject misconfigured secrets)
- Retry on Discord 429 up to 3 times honouring Retry-After header,
  bounded 1..60s, with sane default if header missing

P3:
- allowed_mentions: { parse: [] } so issue/PR titles can't @everyone or
  ping roles/users in #resolved
2026-05-06 21:56:46 +08:00
..