Fix workspace deletion and GitHub workspace context#1375

Closed

zajca wants to merge 1 commit into

zajca:zajca/fix-workspace-delete-github-context

Commits on Jun 14, 2026

fix: preserve active workspace for GitHub and deletion
zajca
committed