etc: pre-push Git hook: Update the commentary.

* etc/git/pre-push: Improve comments.

Change-Id: Id8c97841c3fa362de7adbd8942f796d044ce50b1

1 files changed, 6 insertions, 5 deletions

diff --git a/etc/git/pre-push b/etc/git/pre-push
index 2b3e6fe228a..c3887ec0227 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.