diff options
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/git/pre-push | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push index 325b23854bb..752310d8540 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 ;; *) |