| Filename | Latest commit message | Latest commit date |
|---|---|---|
0f52cbe40a
New AgentsPage at /agents: fetches GET /api/agents (roster names) and GET /api/config-prs (bulk config-PR status) and merges them into one table, one row per agent. Reuses the existing Panel/Table/StatusChip/ RefreshIntervalPicker components exactly as HivesPage does — the roster page and the config-PR panel turned out to be the same page rather than two separate pieces of UI. Adds a nav entry (green accent, the next unused base16 chromatic slot) between hives and new agent. |
||
| .. | ||
| src | ||
| build.mjs | ||
| package.json | ||
| tsconfig.json | ||