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) | |
maint: Actually run ‘make check-channel-news’ in pre-push hook.v1.4.0+154511.1afbf48b25
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 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 | *) |