From: Eric Sunshine <sunshine@sunshineco.com>
Date: Thu, 28 Mar 2024 17:24:06 GMT
Subject: Re: bug report: spurious "cannot delete branch '%s' used by worktree"
Message-ID: <CAPig+cQWW1sLXyTBvk6D+1h15sZCtQO1opfhtFfiHr_kX0y82g@mail.gmail.com>
In-Reply-To: <CAEYvaskGHYrQgke=gf1sXYhrwbd+SeTpcjGF0fpxK3hQbyPFKg@mail.gmail.com>

On Thu, Mar 28, 2024 at 10:54 AM Tamir Duberstein <tamird@fuseenergy.com> wrote:
> % git branch -d cleanup
> error: cannot delete branch 'cleanup' used by worktree at '<my source dir>'
> % git worktree list
> <my source dir>  dc46f6d5e [main]
> % git branch
>   cleanup
> * main

Is this error persistent once it arises? That is, if you invoke `git
branch -d cleanup` again immediately after (or a little while after)
the above sequence, does the problem persist? Or does it "clear up" on
its own at some point?