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

Bugbot Analysis Progress (2m 47s elapsed)

✅ Gathered PR context (8s)
✅ Completed bug detection (2m 39s)
✅ Posted analysis results (1s)

Final Result: Bugbot completed review - no issues found! ✅

Request ID: serverGenReqId_c0009144-6380-4b70-af0c-7e02041b5866