diff options
| author | Leo Famulari <leo@famulari.name> | 2025-06-05 17:15:21 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2025-06-08 17:46:34 -0400 |
| commit | 69a77ffab2407c2150d59bffc0ae2ab04161c9da (patch) | |
| tree | 20fc40c24e3c76668625fc00a99bb45c67405f47 /etc | |
| parent | 525d8a1a60b5a3e7dc6759e7fb8af7522758028a (diff) | |
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
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/git/pre-push | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push index c3887ec022..998df45e6d 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 <https://codeberg.org/guix>.\n" 1>&2 + exit 1 + ;; *.gnu.org*) perform_checks ;; |