feat(source-control): omit agent credits from PR merge messages (#16192)

24238fee32Julius Marminge committed on 10/5/2026, 9:28:58 PM· committed by GitHubparent21eb9a4
14 files changedLine totals unavailable