diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-05-30 16:36:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-01 00:51:38 +0200 |
| commit | 6f6758c45d3913dbf98bb8e50f21f7bfb25b40ea (patch) | |
| tree | 426a637f6195f41adeb3565676f10a4eeda944b4 /etc/git | |
| parent | c727df6f5475481156609628bb9b3341964d79b1 (diff) | |
maint: Adjust comment in 'pre-push' hook.
* etc/git/pre-push: Adjust comment.
Diffstat (limited to 'etc/git')
| -rwxr-xr-x | etc/git/pre-push | 4 |
1 files changed, 3 insertions, 1 deletions
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 |