diff options
Diffstat (limited to 'git-branch.sh')
| -rwxr-xr-x | git-branch.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-branch.sh b/git-branch.sh index 0266f4622..b0e54ed2a 100755 --- a/git-branch.sh +++ b/git-branch.sh @@ -32,11 +32,11 @@ delete_branch () { case " $mbs " in *' '$branch' '*) # the merge base of branch and HEAD contains branch -- - # which means that the HEAD contains everything in the HEAD. + # which means that the HEAD contains everything in both. ;; *) echo >&2 "The branch '$branch_name' is not a strict subset of your current HEAD. - If you are sure you want to delete it, run 'git branch -D $branch_name'." +If you are sure you want to delete it, run 'git branch -D $branch_name'." exit 1 ;; esac |