summaryrefslogtreecommitdiff
path: root/etc/git/pre-push
diff options
context:
space:
mode:
Diffstat (limited to 'etc/git/pre-push')
-rwxr-xr-xetc/git/pre-push5
1 files changed, 3 insertions, 2 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push
index d0e2cff9d3b..400095591cd 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -29,9 +29,10 @@ do
29 # thus there are no signatures to be verified. 29 # thus there are no signatures to be verified.
30 if [ "$local_hash" != $z40 ] 30 if [ "$local_hash" != $z40 ]
31 then 31 then
32 # Only use the hook when pushing to Savannah. 32 # Only use the hook when pushing to upstream.
33 case "$2" in 33 case "$2" in
34 *.gnu.org*) 34 *.gnu.org*) ;&
35 *codeberg.org/guix/*)
35 set -e 36 set -e
36 guix git authenticate 37 guix git authenticate
37 exec make check-channel-news 38 exec make check-channel-news