1 files changed, 4 insertions, 1 deletions

diff --git a/etc/git/pre-push b/etc/git/pre-push
index 64d6903ae46..c22dd064211 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