From 6f6758c45d3913dbf98bb8e50f21f7bfb25b40ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Sat, 30 May 2020 16:36:59 +0200 Subject: [PATCH] maint: Adjust comment in 'pre-push' hook. * etc/git/pre-push: Adjust comment. --- etc/git/pre-push | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/etc/git/pre-push b/etc/git/pre-push index 59294f0ffb..415345fc75 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push @@ -1,6 +1,8 @@ #!/bin/sh -# A hook script that prevents the user from pushing unsigned commits. +# This hook script prevents the user from pushing to Savannah if any of the new +# commits' OpenPGP signatures cannot be verified, or if a commit is signed +# with an unauthorized key. # Called by "git push" after it has checked the remote status, but before # anything has been pushed. If this script exits with a non-zero status nothing