summaryrefslogtreecommitdiff
path: root/etc/git
diff options
context:
space:
mode:
authorVagrant Cascadian <vagrant@debian.org>2024-12-09 12:21:30 -0800
committerVagrant Cascadian <vagrant@debian.org>2025-01-05 13:23:54 -0800
commitab9cda9ebd00073d5a0783919809f2e564f141e9 (patch)
treeb2d1331d9d3bde908f3e8cf7915894aace085f06 /etc/git
parent59df73256c87327e877956de568ccdc004a75cb1 (diff)
etc: git: pre-push: Run guix git authenticate before check-channel-news.
Running check-channel-news first could potentially be untrusted code, so authenticate first. * etc/git/pre-push: Run guix git authenticate before check-channel-news.
Diffstat (limited to 'etc/git')
-rwxr-xr-xetc/git/pre-push2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push
index 325b23854bb..752310d8540 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 make check-channel-news
37 exec guix git authenticate 36 exec guix git authenticate
37 make check-channel-news
38 exit 127 38 exit 127
39 ;; 39 ;;
40 *) 40 *)