waylon/workspaces
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: workspaces rm #2

Merged
waylon merged 4 commits from fix/workspaces-rm-detach into main 2025-11-25 20:55:58 -06:00
Conversation 0 Commits 4 Files changed 1 +1 -1
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit ca47d5da89 - Show all commits

2
workspaces.py
View file

@ -800,7 +800,7 @@ def remove_workspace(
if status.dirty: if status.dirty:
problems.append(f"{wt.name}: dirty working tree on '{branch}'") problems.append(f"{wt.name}: dirty working tree on '{branch}'")
# Only care about "unpushe­d commits" if the branch is NOT integrated into main. # Only care about "unpushed commits" if the branch is NOT integrated into main.
if repo is not None and branch != "?" and not integrated: if repo is not None and branch != "?" and not integrated:
if has_unpushed_commits(wt, branch): if has_unpushed_commits(wt, branch):
problems.append(f"{wt.name}: unpushed commits on '{branch}'") problems.append(f"{wt.name}: unpushed commits on '{branch}'")