request-pull: pick up tag message as before

The previous two steps were meant to stop updating the explicit refname the user gave to the command to a different ref that points at it. Most notably, we no longer substitute a branch name the user used with a name of the tag that points at the commit at the tip of the branch (it still can be done with "local-branch:remote-tag"). However, they also lost the code that included the message in a tag when the user _did_ ask the tag to be pulled. Resurrect it. Signed-off-by: Junio C Hamano <gitster@pobox.com>

Junio C Hamano committed Jan 29, 2014 at 15:08 UTC 4b14ec878a206e87520378b9e1e43aef469bc646
1 file changed +8
git-request-pull.sh
+8
@@ -132,6 +132,14 @@ for you to fetch changes up to %H:
132
133 ----------------------------------------------------------------' $headrev &&
134
135 +if test $(git cat-file -t "$head") = tag
136 +then
137 + git cat-file tag "$head" |
138 + sed -n -e '1,/^$/d' -e '/^-----BEGIN PGP /q' -e p
139 + echo
140 + echo "----------------------------------------------------------------"
141 +fi &&
142 +
143 if test -n "$branch_name"
144 then
145 echo "(from the branch description for $branch_name local branch)"