etc: pre-push git hook: Also check Codeberg SSH remote.

* etc/git/pre-push (main): Check Codeberg SSH remote.

Fixes: #421
Change-Id: Id669259f510cf3e33cadf77a5c9eeada52a5d0dd

1 files changed, 5 insertions, 0 deletions

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
                         ;;