diff --git a/etc/git/pre-push b/etc/git/pre-push index 325b23854b..752310d854 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push @@ -33,8 +33,8 @@ do case "$2" in *.gnu.org*) set -e - make check-channel-news exec guix git authenticate + make check-channel-news exit 127 ;; *)