diff options
Diffstat (limited to 'etc/git/pre-push')
| -rwxr-xr-x | etc/git/pre-push | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push index d0e2cff9d3b..400095591cd 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push | |||
| @@ -29,9 +29,10 @@ do | |||
| 29 | # thus there are no signatures to be verified. | 29 | # thus there are no signatures to be verified. |
| 30 | if [ "$local_hash" != $z40 ] | 30 | if [ "$local_hash" != $z40 ] |
| 31 | then | 31 | then |
| 32 | # Only use the hook when pushing to Savannah. | 32 | # Only use the hook when pushing to upstream. |
| 33 | case "$2" in | 33 | case "$2" in |
| 34 | *.gnu.org*) | 34 | *.gnu.org*) ;& |
| 35 | *codeberg.org/guix/*) | ||
| 35 | set -e | 36 | set -e |
| 36 | guix git authenticate | 37 | guix git authenticate |
| 37 | exec make check-channel-news | 38 | exec make check-channel-news |
