On Thu, Jan 5, 2017 at 9:02 PM, Stefan Beller <sbel...@google.com> wrote: > On Thu, Jan 5, 2017 at 2:06 AM, Roland Illig <ril...@novomind.com> wrote: >> Git 2.11.0 gives a wrong error message after the following commands: >> >> $ git init >> $ echo hello >file >> $ git add file >> $ git commit -m "message" >> $ git worktree add ../worktree >> $ rm -rf ../worktree >> $ git br -D worktree >> error: Cannot delete branch 'worktree' checked out at '../worktree' >> >> Since ../worktree has been deleted, there cannot be anything checked out at >> that location. >> >> In my opinion, deleting the branch should just work. Especially since I used >> the -D option and the "git worktree" documentation says "When you are done >> with a linked working tree you can simply delete it."
Since -D means "I know what I'm doing, get out of my way", maybe we should continue if any worktree has the branch checked out by detaching it? (Yes I'm carefully tip toeing around the deleted worktree issue since "git worktree remove" is coming. After that point, running "worktree prune" before "branch -D" does not sound so bad) -- Duy
