aduoge 91f20a782f
fix(github): match repository bindings case-insensitively (#7982)
GitHub owner and repository names are case-insensitive, but the agent
registry indexed and looked up bindings by the raw repo string. A
binding for acme/widget never matched webhooks for Acme/Widget, so the
event was dropped without an error. Lowercase the repo on both sides.

Co-authored-by: Willem Jiang <willem.jiang@gmail.com>
2026-11-08 13:45:59 +08:00
..