I was helping out a co-worker today, and discovered that git branch -D
and git branch -d
do slightly different things. From the git help documentation:
-d --delete delete fully merged branch
-D delete branch (even if not merged)
I can appreciate avoiding deleting branching arbitrarily, but how does git determine when branch -d
is allowable? When would someone use branch -d
correctly?