diff options
author | Jonathan Nieder <jrnieder@gmail.com> | 2010-08-17 11:11:30 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2010-08-19 01:02:05 +0400 |
commit | c2c9a87d4f5a643ef93db7c39fc01c4965bf67a3 (patch) | |
tree | 336f75668bffdb70e92dcdb0cbf5b4769260ef6f /contrib/examples/git-merge.sh | |
parent | 2a70fa4f1e377bc68bcabdc1a550e9970acccda7 (diff) |
merge script: notice @{-1} shorthand
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>
Diffstat (limited to 'contrib/examples/git-merge.sh')
-rwxr-xr-x | contrib/examples/git-merge.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/contrib/examples/git-merge.sh b/contrib/examples/git-merge.sh index 5a2addd4e1..bed55a48df 100755 --- 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 |