🤖 fix: delete local branch on workspace delete#1292

ThomasK33 merged 1 commit intomaincoder/mux:mainfrom

workspace-drtacoder/mux:workspace-drtaCopy head branch name to clipboard