From 67fe340607301d63938f4fd9aa8dc891c859d5be Mon Sep 17 00:00:00 2001
From: Fedja Beader <fedja@protonmail.ch>
Date: Thu, 22 Feb 2024 22:13:21 +0100
Subject: Whats $CI_BUILD_REPO nowadays?

---
 .tools/init.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.tools/init.sh b/.tools/init.sh
index 4fe533ef..57109b63 100755
--- a/.tools/init.sh
+++ b/.tools/init.sh
@@ -19,6 +19,7 @@ function gitclone1 {
 }
 
 function gitclone {
+    printf '$CI_BUILD_REPO is $s\n' "$CI_BUILD_REPO"
     export name1=$1/$2
     export name2=${CI_BUILD_REPO##*@}
     export name2=https://${name2%/*}/$2
-- 
cgit v1.2.3-60-g2f50