pi-web/.changeset/close-workspace-terminals-before-delete.md at f2d211da9c215f3f45ff415d4ff5dd93720ba3b3

Archived

This repository has been archived on 2026-08-23. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Files

T

Federico Jaramillo Martinez 9c3dafc4d4 fix: close workspace terminals before deletion

2026-06-04 21:31:39 +02:00

217 B

Raw Blame History

@jmfederico/pi-web

@jmfederico/pi-web
patch

Delete workspaces through a server-side operation that closes target workspace terminals before running the worktree removal command, preventing stale machine activity indicators.

217 B Raw Blame History

217 B

Raw Blame History