summaryrefslogtreecommitdiff
path: root/ppc
diff options
context:
space:
mode:
authorLibravatar Junio C Hamano <junkio@cox.net>2006-11-24 23:10:23 -0800
committerLibravatar Junio C Hamano <junkio@cox.net>2006-11-24 23:10:23 -0800
commit67affd5173da059ca60aab7896985331acacd9b4 (patch)
tree59ba5a6fcf43fa2b4bbf13fabf644086699fc0b6 /ppc
parentAdd -v and --abbrev options to git-branch (diff)
downloadtgif-67affd5173da059ca60aab7896985331acacd9b4.tar.xz
git-branch -D: make it work even when on a yet-to-be-born branch
This makes "git branch -D other_branch" work even when HEAD points at a yet-to-be-born branch. Earlier, we checked the HEAD ref for the purpose of "subset" check even when the deletion was forced (i.e. not -d but -D). Because of this, you cannot delete a branch even with -D while on a yet-to-be-born branch. With this change, the following sequence that now works: mkdir newdir && cd newdir git init-db git fetch -k $other_repo refs/heads/master:refs/heads/othre # oops, typo git branch other othre git branch -D othre Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'ppc')
0 files changed, 0 insertions, 0 deletions