fix(server): preserve merged PR badges after branch deletion (#6216)

ba30177b5aTristan Knight committed on 8/24/2026, 9:54:47 AM· committed by GitHubparentbe3da50
2 files changedLine totals unavailable