diff options
| -rwxr-xr-x | etc/git/pre-push | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push index 64d6903ae4..c22dd06421 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push @@ -38,7 +38,10 @@ do # Only use the hook when pushing to upstream. case "$2" in - *.gnu.org*) ;& + *.gnu.org*) + echo "adjust remote: repo was migrated to codeberg" + exit 127 + ;; *codeberg.org/guix/*) set -e guix git authenticate |