diff options
| author | Gwyneth Morgan <gwymor@tilde.club> | 2023-01-25 23:47:27 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-01-25 15:54:41 -0800 |
| commit | a9cad02538a8e0518f000ad99099193d764fe795 (patch) | |
| tree | 5708e559bd30ceed7f45583bf0040f7b41a2217c | |
| parent | Sync with maint-2.38 (diff) | |
| download | git-a9cad02538a8e0518f000ad99099193d764fe795.tar.gz git-a9cad02538a8e0518f000ad99099193d764fe795.zip | |
request-pull: filter out SSH/X.509 tag signatures
git request-pull filters PGP signatures out of the tag message, but not
SSH or X.509 signatures.
Signed-off-by: Gwyneth Morgan <gwymor@tilde.club>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | git-request-pull.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh index 2d0e44656c..01640a044b 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -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 && |