git-commit: make sure we protect against races.
commitb8310152bc5622e4d449e3113ba4edec8fd08087
authorJunio C Hamano <junkio@cox.net>
Fri, 3 Mar 2006 05:13:24 +0000 (2 21:13 -0800)
committerJunio C Hamano <junkio@cox.net>
Fri, 3 Mar 2006 05:13:24 +0000 (2 21:13 -0800)
tree23d780130edc411a02cc946f8c03bf5c9b7fb255
parentb4019f045646b1770a80394da876b8a7c6b8ca7b
git-commit: make sure we protect against races.

An earlier commit 8098a178b26dc7a158d129a092a5b78da6d12b72
accidentally lost race protection from git-commit command.
This commit reinstates it.  When something else updates HEAD
pointer while you were editing your commit message, the command
would notice and abort the commit.

Signed-off-by: Junio C Hamano <junkio@cox.net>
git-commit.sh