diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-12-16 23:12:33 -0800 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-12-16 23:32:47 -0800 |
| commit | 01385e275828c1116ea9bfcf827f82f450ee8f5f (patch) | |
| tree | ea3821fc6425fef1b2968398465b745d251083c1 /git-branch.sh | |
| parent | 69224716f78d6a772318e73060a70ba5ae67e55b (diff) | |
| download | git-01385e275828c1116ea9bfcf827f82f450ee8f5f.tar.gz git-01385e275828c1116ea9bfcf827f82f450ee8f5f.tar.xz | |
Comment fixes.
Signed-off-by: Junio C Hamano <junkio@cox.net>
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 |