summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorHilton Chain <hako@ultrarare.space>2025-06-04 23:23:31 +0800
committerLeo Famulari <leo@famulari.name>2025-06-04 22:29:03 -0400
commit50b69ecb4017841c7663d1c1e663d8ad02a3cfa3 (patch)
tree09349da42651ae84ceffe9946bff2c0a26e3231a /etc
parentc1d6ab1a51854d40261496745926ad5919dabc9d (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-xetc/git/pre-push5
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
;;