Skip to content

fix(agent/agentcontainers): broadcast devcontainer dirty status over websocket#21100

Merged
mafredri merged 1 commit intomainfrom
mafredri/fix-devcontainer-dirty-broadcast
Dec 4, 2025
Merged

fix(agent/agentcontainers): broadcast devcontainer dirty status over websocket#21100
mafredri merged 1 commit intomainfrom
mafredri/fix-devcontainer-dirty-broadcast

Commits

Commits on Dec 4, 2025