~ruther/guix-local

1afbf48b250f667ce45de40a6c275e3e42ade67c — Ludovic Courtès 1 year, 25 days ago 622568e 
maint: Actually run ‘make check-channel-news’ in pre-push hook.

Fixes a bug introduced in ab9cda9ebd00073d5a0783919809f2e564f141e9 where
‘make check-channel-news’ would not longer be executed.

* etc/git/pre-push: Remove ‘exec’ before ‘guix git authenticate’.

Change-Id: Ic425db866e44695493be96a0a8c81c77c815e42d
patch browse .tar.gz 
1 files changed, 2 insertions(+), 2 deletions(-)

M etc/git/pre-push

M etc/git/pre-push => etc/git/pre-push +2 -2
@@ 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
			;;
		    *)