diff options
| -rwxr-xr-x | etc/git/pre-push | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push index c876b1b6a3..2b3e6fe228 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 ;; |