mirror of
https://github.com/git/git
synced 2024-08-28 12:09:19 +00:00
Merge branch 'gm/request-pull-with-non-pgp-signed-tags'
Adjust "git request-pull" to strip embedded signature from signed tags to notice non-PGP signatures. * gm/request-pull-with-non-pgp-signed-tags: request-pull: filter out SSH/X.509 tag signatures
This commit is contained in:
commit
ad7fd3cc03
|
@ -153,7 +153,7 @@ for you to fetch changes up to %H:
|
|||
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
|
||||
sed -n -e '1,/^$/d' -e '/^-----BEGIN \(PGP\|SSH\|SIGNED\) /q' -e p
|
||||
echo
|
||||
echo "----------------------------------------------------------------"
|
||||
fi &&
|
||||
|
|
Loading…
Reference in a new issue