change to gitea

2025-04-15 13:50:14 +02:00
parent 4e622d5a1c
commit 4d81828096
1 changed files with 1 additions and 1 deletions
@@ -33,7 +33,7 @@ if [[ " ${DISKS[@]} " =~ " $DEVICE " ]]; then
  echo "create TinyLinux"

  if [ ! -d boot_tiny ] ; then
-    sudo --user l_samenv git clone --depth 1 git@gitlab.psi.ch:samenv/boot_tiny.git
+    sudo --user l_samenv git clone --depth 1 https://gitea.psi.ch/linse/boot_tiny.git
  fi

  if [[ $(cat /sys/block/$DEVICE/removable) != "1" ]]; then