1 files changed, 2 insertions, 2 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push
index 752310d8540..d0e2cff9d3b 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
+                        guix git authenticate
-                        make check-channel-news
+                        exec make check-channel-news
                        exit 127
                        ;;
                    *)

diff --git a/etc/git/pre-push b/etc/git/pre-push index 752310d8540..d0e2cff9d3b 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push
@@ -33,8 +33,8 @@ do
33	case "$2" in	33	case "$2" in
34	.gnu.org)	34	.gnu.org)
35	set -e	35	set -e
36	exec guix git authenticate	36	guix git authenticate
37	make check-channel-news	37	exec make check-channel-news
38	exit 127	38	exit 127
39	;;	39	;;
40	*)	40	*)