mirror/guix
mirror/guix
1
Fork 0
mirror of https://https.git.savannah.gnu.org/git/guix.git/ synced 2025-07-13 18:40:57 +02:00
Code Releases Activity

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

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

Change-Id: Id8c97841c3fa362de7adbd8942f796d044ce50b1
This commit is contained in:
Leo Famulari 2025-06-04 22:54:56 -04:00
parent 50b69ecb40
commit 027a47787f
No known key found for this signature in database
GPG key ID: 6AAC1963757F47FF
1 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

11
etc/git/pre-push
View file

@ -1,8 +1,9 @@
#!/bin/sh #!/bin/sh
# This hook script prevents the user from pushing to Savannah if any of the new # This hook script prevents the user from pushing to the project's Git repo if
# commits' OpenPGP signatures cannot be verified, or if a commit is signed # any of the new commits' OpenPGP signatures cannot be verified, if a commit is
# with an unauthorized key. # 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 # 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 # anything has been pushed. If this script exits with a non-zero status nothing
@ -33,8 +34,8 @@ perform_checks() {
main() { main() {
while read local_ref local_hash remote_ref remote_hash while read local_ref local_hash remote_ref remote_hash
do do
# When deleting a remote branch, no commits are pushed to the remote, and # When deleting a remote branch, no commits are pushed to the remote,
# thus there are no signatures to be verified. # and thus there are no signatures or news updates to be verified.
if [ "$local_hash" != $z40 ] if [ "$local_hash" != $z40 ]
then then
# Skip the hook when performing a pull-request. # Skip the hook when performing a pull-request.