From 69a77ffab2407c2150d59bffc0ae2ab04161c9da Mon Sep 17 00:00:00 2001 From: Leo Famulari Date: Thu, 5 Jun 2025 17:15:21 -0400 Subject: [PATCH] etc: Git pre-push hook: Don't allow pushes to Savannah. * etc/git/pre-push: Throw an error when pushing to savannah.gnu.org. Change-Id: I1fefa4d93daf0f2887168c54a244b9be5d220665 --- etc/git/pre-push | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/etc/git/pre-push b/etc/git/pre-push index c3887ec0227..998df45e6dd 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push @@ -45,8 +45,12 @@ do ;; esac - # Only use the hook when pushing to upstream. + # Only perform checks when pushing to upstream. case "$2" in + *savannah.gnu.org*) + printf "ERROR: The repositories on Savannah are read-only mirrors of our repos at .\n" 1>&2 + exit 1 + ;; *.gnu.org*) perform_checks ;;