civodul pushed a commit to branch master in repository guix. commit 6f6758c45d3913dbf98bb8e50f21f7bfb25b40ea Author: Ludovic Courtès <l...@gnu.org> AuthorDate: Sat May 30 16:36:59 2020 +0200
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 59294f0..415345f 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