fix(ui): demote repos with >= 10k commits to end of dashboard

Automated/bulk-commit repos score -1 so they sort last regardless
of recency or volume.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

ui/src/pages/DashPage.tsx

@@ -112,6 +112,7 @@ function rankProjects(projects: ProjectSummary[]): ProjectSummary[] {
   return [...projects].sort((a, b) => score(b) - score(a));
 
   function score(p: ProjectSummary): number {
+    if (p.commit_count >= 10000) return -1;
     const volume = (p.commit_count + p.issue_count + p.pr_count) / (maxVolume || 1);
     const recency = p.last_activity
       ? (new Date(p.last_activity).getTime() - oldest) / range