agent-dashboard: remove (moved to hefring-platform) #5
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "muon/remove-agent-dashboard"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
The agent dashboard is moving to the hefring-platform repo. This PR removes it from the flake: the module, the app and its doc.
Kept on purpose:
_approval.py): it only acts when$XDG_RUNTIME_DIR/agent-dashboard/approvals.sockand the pid registry exist. With no dashboard it returns "can't ask", and_ssh.py/_gh.pyfall back to zenity as before. A dashboard run from hefring-platform can keep using it unchanged.Evidence
homeModules.agent-dashboardwas in theworkbenchsuite and ran theagent-dashboarduser service.After:
nix eval --raw .#nixosConfigurations.<h>.config.system.build.toplevel.drvPathfor muon, mude, muop, murk, muvo, muvm, muin, muho, mups and muba.*dashboard*unit.rg "AGENT_DASHBOARD.md|homeModules.agent-dashboard"finds nothing.nix fmt -- --checkflags only_sources/generated.nix, which main flags too.Merge Danger
Door: two-way
The code stays in git history (the commits before this PR), and hefring-platform gets its own copy.
Blast Radius: workbench-hosts
On the next switch, hosts with the
workbenchsuite stop and lose theagent-dashboarduser service. Its state in~/.local/state/agent-dashboardstays on disk. Sessions that were running under it stop. Their worktrees and branches stay.