diff options
| -rwxr-xr-x | etc/git/pre-push | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push index 752310d854..d0e2cff9d3 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push @@ -33,8 +33,8 @@ do case "$2" in *.gnu.org*) set -e - exec guix git authenticate - make check-channel-news + guix git authenticate + exec make check-channel-news exit 127 ;; *) |