summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-05-30 16:36:59 +0200
committerLudovic Courtès <ludo@gnu.org>2020-06-01 00:51:38 +0200
commit6f6758c45d3913dbf98bb8e50f21f7bfb25b40ea (patch)
tree426a637f6195f41adeb3565676f10a4eeda944b4 /etc
parentc727df6f5475481156609628bb9b3341964d79b1 (diff)
maint: Adjust comment in 'pre-push' hook.
* etc/git/pre-push: Adjust comment.
Diffstat (limited to 'etc')
-rwxr-xr-xetc/git/pre-push4
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