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.