Fix.

diff --git a/buster/setup_scripts/setup_website.sh b/buster/setup_scripts/setup_website.sh
index a29bd4ab63bdb8e11660cd9615d4ea074742ad4d..d1dc91d7b756907ebedf1aecbade35eed0812839 100755 (executable)
--- a/buster/setup_scripts/setup_website.sh
+++ b/buster/setup_scripts/setup_website.sh
@@ -19,6 +19,8 @@ gpg_key="$3"
 init_state="$4"
 old_server="$5"
 
+# NOTE: init_state=upgrade is for migration from older stretch server setup
+
 # Install configs, set up firewall.
 config_tree_prefix="${HOME}/config/buster"
 ./install_for_target.sh web website
@@ -69,7 +71,7 @@ mkdir /var/www
 chown plom:plom /var/www
 if [ "${init_state}" = "upgrade" ]; then
   # This assumes the old core.plomlompom.com filesystem hierarchy.
-  su -lc "cd /var/repos && git clone --mirror ${old_server}:repos/website" plom
+  su -lc "cd /var/repos && git clone --mirror plom@core.plomlompom.com:repos/website" plom
 elif [ "${init_state}" = "new" ]; then
   su -lc "cd /var/repos && git init --bare website.git" plom
 fi