[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/03: maint: Adjust comment in 'pre-push' hook.
From: |
guix-commits |
Subject: |
01/03: maint: Adjust comment in 'pre-push' hook. |
Date: |
Sun, 31 May 2020 18:52:13 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 6f6758c45d3913dbf98bb8e50f21f7bfb25b40ea
Author: Ludovic Courtès <ludo@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