Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
merge script: notice @{-1} shorthand
author
Jonathan Nieder
<jrnieder@gmail.com>
Tue, 17 Aug 2010 07:11:30 +0000
(
02:11
-0500)
committer
Junio C Hamano
<gitster@pobox.com>
Wed, 18 Aug 2010 21:02:05 +0000
(14:02 -0700)
Port v1.6.2-rc1~10^2 (Teach @{-1} to git merge, 2009-02-13) to
the old merge script.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/examples/git-merge.sh
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
2a70fa4
)
diff --git
a/contrib/examples/git-merge.sh
b/contrib/examples/git-merge.sh
index 5a2addd4e15da9f8204aae5f4bbdffd296b9c0f9..bed55a48dfbbea5055a2bb5cbe3436feb5c4458f 100755
(executable)
--- a/
contrib/examples/git-merge.sh
+++ b/
contrib/examples/git-merge.sh
@@
-148,13
+148,15
@@
merge_name () {
if found_ref=$(git rev-parse --symbolic-full-name --verify \
"$remote" 2>/dev/null)
then
+ expanded=$(git check-ref-format --branch "$remote") ||
+ exit
if test "${found_ref#refs/heads/}" != "$found_ref"
then
- echo "$rh branch '$
remote
' of ."
+ echo "$rh branch '$
expanded
' of ."
return
elif test "${found_ref#refs/remotes/}" != "$found_ref"
then
- echo "$rh remote branch '$
remote
' of ."
+ echo "$rh remote branch '$
expanded
' of ."
return
fi
fi