fix(server): stop grouping unrelated repos that only have a local git remote (#13129)

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
19f3f6d9fbAdam Buchweitz committed on 10/18/2026, 7:17:05 PM· committed by GitHubparent4d4297c
2 files changedLine totals unavailable