diff options
Diffstat (limited to 'etc/git/pre-push')
| -rwxr-xr-x | etc/git/pre-push | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push index 59671b0d58..325b23854b 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push @@ -32,7 +32,9 @@ do # Only use the hook when pushing to Savannah. case "$2" in *.gnu.org*) - exec make authenticate check-channel-news + set -e + make check-channel-news + exec guix git authenticate exit 127 ;; *) |