fix(penpal): ensure repo badges are generated when repos are added (#534)

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

Author: matt2e

apps/staged/src/lib/features/projects/ProjectHome.svelte

@@ -121,6 +121,9 @@
         branchesByProject = new Map(branchesByProject).set(projectId, branches);
         workspaceLifecycle.enqueueInitialSetup(projectId, branches);
         replaceProjectRepos(projectId, repos);
+        void repoBadgeStore.ensureForRepos(
+          repos.map((r) => ({ githubRepo: r.githubRepo, subpath: r.subpath }))
+        );
       } catch (e) {
         console.error('[ProjectHome] Failed to refresh project after setup progress:', e);
       }
@@ -533,6 +536,9 @@
       branchesByProject = new Map(branchesByProject).set(projectId, branches);
       workspaceLifecycle.enqueueInitialSetup(projectId, branches);
       replaceProjectRepos(projectId, repos);
+      void repoBadgeStore.ensureForRepos(
+        repos.map((r) => ({ githubRepo: r.githubRepo, subpath: r.subpath }))
+      );
     } catch (e) {
       console.error('Failed to add repo:', e);
       const message = e instanceof Error ? e.message : String(e);