From d781128ab64a3247b66313120d05ab4eef4a4059 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Sun, 11 Aug 2019 20:36:11 +0200
Subject: [PATCH] Clone into home dir repos via ssh instead of http.

---
 buster/setup_scripts/setup_home.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buster/setup_scripts/setup_home.sh b/buster/setup_scripts/setup_home.sh
index 4a9303d..b02ef6d 100755
--- a/buster/setup_scripts/setup_home.sh
+++ b/buster/setup_scripts/setup_home.sh
@@ -28,7 +28,7 @@ ensure_repo() {
     repo_name="${1}"
     if [ ! -d "${public_repos_dir}/${repo_name}" ]; then
         cd "${public_repos_dir}"
-        git clone https://plomlompom.com/repos/clone/${repo_name}
+        git clone plom@plomlompom.com:/var/public_repos/${repo_name}
     fi
 }
 
-- 
2.30.2