mirror/ git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-05-24 21:16:10 +02:00
Code

pull: use git rev-parse -q 

Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Miklos Vajna 2008-12-03 14:26:50 +01:00 committed by Junio C Hamano
parent a86e8c1cfc
commit 2d17985782
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
git-pull.sh
View File

@ -121,13 +121,13 @@ test true = "$rebase" && {
test -z "$origin" && origin=$(get_default_remote)
reflist="$(get_remote_refs_for_fetch "$@" 2>/dev/null |
sed "s|refs/heads/\(.*\):|\1|")" &&
oldremoteref="$(git rev-parse --verify \
"refs/remotes/$origin/$reflist" 2>/dev/null)"
oldremoteref="$(git rev-parse -q --verify \
"refs/remotes/$origin/$reflist")"
}
orig_head=$(git rev-parse --verify HEAD 2>/dev/null)
orig_head=$(git rev-parse -q --verify HEAD)
git fetch $verbosity --update-head-ok "$@" || exit 1
curr_head=$(git rev-parse --verify HEAD 2>/dev/null)
curr_head=$(git rev-parse -q --verify HEAD)
if test -n "$orig_head" && test "$curr_head" != "$orig_head"
then
# The fetch involved updating the current branch.