fix: quiet settled threads and simplify PR badges (#11101)

0527ddf06dJulius Marminge committed on 9/10/2026, 6:34:55 PM· committed by GitHubparent0882431
6 files changedLine totals unavailable