Skip to content

Commit

Permalink
Comment fixes.
Browse files Browse the repository at this point in the history
Signed-off-by: Junio C Hamano <junkio@cox.net>
  • Loading branch information
Junio C Hamano committed Dec 17, 2005
1 parent 6922471 commit 01385e2
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions git-branch.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion git-checkout.sh
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ else
fi

#
# Switch the HEAD pointer to the new branch if it we
# Switch the HEAD pointer to the new branch if we
# checked out a branch head, and remove any potential
# old MERGE_HEAD's (subsequent commits will clearly not
# be based on them, since we re-set the index)
Expand Down

0 comments on commit 01385e2

Please sign in to comment.