ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 07:26:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

maint: Only run make authenticate when pushing commits.

Browse source 
* etc/git/pre-push: Exit early when deleting a branch.
This commit is contained in:
Leo Famulari 2020-08-14 16:30:47 -04:00
parent 3ef808bbeb
commit 80ebcdd100
No known key found for this signature in database
GPG key ID: 2646FA30BACA7F08
1 changed files with 23 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
etc/git/pre-push
View file

@ -20,8 +20,17 @@
# #
# <local ref> <local sha1> <remote ref> <remote sha1> # <local ref> <local sha1> <remote ref> <remote sha1>
# Only use the hook when pushing to Savannah. # This is the "empty hash" used by Git when pushing a branch deletion.
case "$2" in z40=0000000000000000000000000000000000000000
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.
if [ "$local_hash" != $z40 ]
then
# Only use the hook when pushing to Savannah.
case "$2" in
*.gnu.org*) *.gnu.org*)
exec make authenticate check-channel-news exec make authenticate check-channel-news
exit 127 exit 127
@ -29,4 +38,8 @@ case "$2" in
*) *)
exit 0 exit 0
;; ;;
esac esac
fi
done
exit 0