diff options
author | Hilton Chain <hako@ultrarare.space> | 2025-06-04 23:23:31 +0800 |
---|---|---|
committer | Leo Famulari <leo@famulari.name> | 2025-06-04 22:29:03 -0400 |
commit | 50b69ecb4017841c7663d1c1e663d8ad02a3cfa3 (patch) | |
tree | 09349da42651ae84ceffe9946bff2c0a26e3231a /etc | |
parent | c1d6ab1a51854d40261496745926ad5919dabc9d (diff) |
etc: pre-push git hook: Also check Codeberg SSH remote.
* etc/git/pre-push (main): Check Codeberg SSH remote.
Fixes: #421
Change-Id: Id669259f510cf3e33cadf77a5c9eeada52a5d0dd
Diffstat (limited to 'etc')
-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 ;; |