Add Galaxy repository API and clients

2026-04-29 07:27:00 -04:00
parent 047d875fe6
commit 133c83029b
103 changed files with 22788 additions and 39 deletions
@@ -12,4 +12,5 @@ public sealed record DashboardSnapshot(
    IReadOnlyList<DashboardWorkerSummary> Workers,
    IReadOnlyList<DashboardMetricSummary> Metrics,
    IReadOnlyList<DashboardFaultSummary> Faults,
-    EffectiveGatewayConfiguration Configuration);
+    EffectiveGatewayConfiguration Configuration,
+    DashboardGalaxySummary Galaxy);