feat(orb): add a typed config-push write path to the relay pipeline#7611

Merged

JSONbored merged 3 commits into

mainfrom

feat/config-push-write-path

Jul 21, 2026

Commits on Jul 21, 2026

feat(orb): add a typed config-push write path to the relay pipeline
JSONbored
committed
feat(orb): dispatch config_push relay rows separately from the GitHub-webhook queue (#7615)
JSONbored
committed
fix(review): prune the relay backlog once per config-push request, not per target
JSONbored
committed