request-pull: pick up tag message as before

diff --git a/git-request-pull.sh b/git-request-pull.sh
index c8ab0e912011d71476ebef1714eb3d8177909dee..93b41357abd0ad0f02e3746778f35018a3dc1754 100755 (executable)
--- a/git-request-pull.sh
+++ b/git-request-pull.sh
@@ -132,6 +132,14 @@ for you to fetch changes up to %H:
 
 ----------------------------------------------------------------' $headrev &&
 
+if test $(git cat-file -t "$head") = tag
+then
+       git cat-file tag "$head" |
+       sed -n -e '1,/^$/d' -e '/^-----BEGIN PGP /q' -e p
+       echo
+       echo "----------------------------------------------------------------"
+fi &&
+
 if test -n "$branch_name"
 then
        echo "(from the branch description for $branch_name local branch)"