projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4019f0) | patch
git-commit: make sure we protect against races.
authorJunio C Hamano <junkio@cox.net>
Fri, 3 Mar 2006 05:13:24 +0000 (21:13 -0800)
committerJunio C Hamano <junkio@cox.net>
Fri, 3 Mar 2006 05:13:24 +0000 (21:13 -0800)
commitb8310152bc5622e4d449e3113ba4edec8fd08087
tree23d780130edc411a02cc946f8c03bf5c9b7fb255tree | snapshot
parentb4019f045646b1770a80394da876b8a7c6b8ca7bcommit | diff
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 diff | blob | history
The core git plumbing