diff options
author | Ludovic Courtès <ludo@gnu.org> | 2025-02-16 00:20:13 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2025-02-16 00:20:13 +0100 |
commit | 1afbf48b250f667ce45de40a6c275e3e42ade67c (patch) | |
tree | 9ee64dc5844dae0f1bece82f59a65fae8d3efc97 | |
parent | 622568ec13b54ad8caaa7f67d1e8686073749b8b (diff) | |
download | guix-1afbf48b250f667ce45de40a6c275e3e42ade67c.tar.gz guix-1afbf48b250f667ce45de40a6c275e3e42ade67c.zip |
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
-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 ;; *) |