Re: git branch doesn't allow me to forcibly delete branch which was checked out in a now-deleted worktree dir

2016-07-08 Thread Duy Nguyen
On Thu, Jul 7, 2016 at 8:44 PM, Erik Johnson wrote: > % git branch -D archive-extracted-xz > error: Cannot delete branch 'archive-extracted-xz' checked out at > '/home/erik/git/salt/archive-extracted-xz' This is from commit f292244 (branch -d: refuse deleting a branch which

Re: git branch doesn't allow me to forcibly delete branch which was checked out in a now-deleted worktree dir

2016-07-08 Thread Erik Johnson
On Fri, Jul 08, 2016 at 09:58:26PM -0700, Jacob Keller wrote: On Fri, Jul 8, 2016 at 7:22 PM, Erik Johnson wrote: On Fri, Jul 08, 2016 at 05:41:17PM -0700, Jacob Keller wrote: It is possible we should update "git branch -d" should perform a worktree prune first, since that

Re: git branch doesn't allow me to forcibly delete branch which was checked out in a now-deleted worktree dir

2016-07-08 Thread Jacob Keller
On Fri, Jul 8, 2016 at 7:22 PM, Erik Johnson wrote: > On Fri, Jul 08, 2016 at 05:41:17PM -0700, Jacob Keller wrote: >> It is possible we should update "git branch -d" should perform a >> worktree prune first, since that would enable it to determine that you >> deleted the

Re: git branch doesn't allow me to forcibly delete branch which was checked out in a now-deleted worktree dir

2016-07-08 Thread Erik Johnson
On Fri, Jul 08, 2016 at 05:41:17PM -0700, Jacob Keller wrote: On Thu, Jul 7, 2016 at 5:36 PM, Erik Johnson wrote: I'm not expecting _any_ git branch command to prune worktrees, but a branch _deletion_ shouldn't fail because git thinks the branch is checked out in a worktree

Re: git branch doesn't allow me to forcibly delete branch which was checked out in a now-deleted worktree dir

2016-07-08 Thread Jacob Keller
On Thu, Jul 7, 2016 at 5:36 PM, Erik Johnson wrote: > I'm not expecting _any_ git branch command to prune worktrees, but a > branch _deletion_ shouldn't fail because git thinks the branch is > checked out in a worktree that doesn't exist anymore. Even in the > scenario where

Re: git branch doesn't allow me to forcibly delete branch which was checked out in a now-deleted worktree dir

2016-07-07 Thread Erik Johnson
On Thu, Jul 07, 2016 at 04:39:26PM -0700, Jacob Keller wrote: On Thu, Jul 7, 2016 at 11:44 AM, Erik Johnson wrote: % git branch -D archive-extracted-xz error: Cannot delete branch 'archive-extracted-xz' checked out at '/home/erik/git/salt/archive-extracted-xz' % test -d

Re: git branch doesn't allow me to forcibly delete branch which was checked out in a now-deleted worktree dir

2016-07-07 Thread Jacob Keller
On Thu, Jul 7, 2016 at 11:44 AM, Erik Johnson wrote: > % git branch -D archive-extracted-xz > error: Cannot delete branch 'archive-extracted-xz' checked out at > '/home/erik/git/salt/archive-extracted-xz' > % test -d /home/erik/git/salt/archive-extracted-xz || echo "directory

git branch doesn't allow me to forcibly delete branch which was checked out in a now-deleted worktree dir

2016-07-07 Thread Erik Johnson
% git branch -D archive-extracted-xz error: Cannot delete branch 'archive-extracted-xz' checked out at '/home/erik/git/salt/archive-extracted-xz' % test -d /home/erik/git/salt/archive-extracted-xz || echo "directory doesn't exist" directory doesn't exist % git --version git version 2.9.0 I