diff --git a/etc/git/pre-push b/etc/git/pre-push index c876b1b6a34..2b3e6fe228a 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push @@ -49,9 +49,14 @@ do *.gnu.org*) perform_checks ;; + # HTTPS Git remote. *codeberg.org/guix/*) perform_checks ;; + # SSH Git remote. + *codeberg.org:guix/*) + perform_checks + ;; *) exit 0 ;;