This is an automated email from the git hooks/post-receive script.
guix_mirror_bot pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 027a47787f etc: pre-push Git hook: Update the commentary.
027a47787f is described below
commit 027a47787f8dcf6651a1c20c5b475376defe6d6b
Author: Leo Famulari <[email protected]>
AuthorDate: Wed Jun 4 22:54:56 2025 -0400
etc: pre-push Git hook: Update the commentary.
* etc/git/pre-push: Improve comments.
Change-Id: Id8c97841c3fa362de7adbd8942f796d044ce50b1
---
etc/git/pre-push | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/etc/git/pre-push b/etc/git/pre-push
index 2b3e6fe228..c3887ec022 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -1,8 +1,9 @@
#!/bin/sh
-# 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.
+# This hook script prevents the user from pushing to the project's Git repo if
+# any of the new commits' OpenPGP signatures cannot be verified, if a commit is
+# signed with an unauthorized key, or if the channel news file is malformed
+# (which would break the build).
# 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
@@ -33,8 +34,8 @@ perform_checks() {
main() {
while read local_ref local_hash remote_ref remote_hash
do
- # When deleting a remote branch, no commits are pushed to the remote,
and
- # thus there are no signatures to be verified.
+ # When deleting a remote branch, no commits are pushed to the remote,
+ # and thus there are no signatures or news updates to be verified.
if [ "$local_hash" != $z40 ]
then
# Skip the hook when performing a pull-request.
