mirror of
https://github.com/git/git.git
synced 2024-11-05 08:47:56 +01:00
38762c47d6
When you have a file called HEAD in your work tree, many commands that our scripts feed "HEAD" to would complain about the rev vs path ambiguity. A solution is to form command line more carefully by appending -- to them, which makes it clear that we mean HEAD rev not HEAD file. This patch would apply to maint. Signed-off-by: Junio C Hamano <gitster@pobox.com>
14 lines
338 B
Bash
Executable file
14 lines
338 B
Bash
Executable file
#!/bin/sh
|
|
#
|
|
# Copyright (c) 2005 Junio C Hamano
|
|
#
|
|
# Pretend we resolved the heads, but declare our tree trumps everybody else.
|
|
#
|
|
|
|
# We need to exit with 2 if the index does not match our HEAD tree,
|
|
# because the current index is what we will be committing as the
|
|
# merge result.
|
|
|
|
git diff-index --quiet --cached HEAD -- || exit 2
|
|
|
|
exit 0
|