diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2024-12-09 12:21:30 -0800 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2025-01-05 13:23:54 -0800 |
| commit | ab9cda9ebd00073d5a0783919809f2e564f141e9 (patch) | |
| tree | b2d1331d9d3bde908f3e8cf7915894aace085f06 /etc/git | |
| parent | 59df73256c87327e877956de568ccdc004a75cb1 (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-x | etc/git/pre-push | 2 |
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 | *) |
