diff options
| -rwxr-xr-x | git-request-pull.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh index c8ab0e9120..93b41357ab 100755 --- 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)" |