From fda1f0e22b872b2b8c36fadf17c59f311292cc30 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Dinot?= <sebastien.dinot@csgroup.eu>
Date: Wed, 31 Jan 2024 13:32:07 +0100
Subject: [PATCH] Change target server following migration

---
 bin/publish.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/publish.sh b/bin/publish.sh
index 7793465..5e6fa3f 100755
--- a/bin/publish.sh
+++ b/bin/publish.sh
@@ -5,7 +5,7 @@ if [ ! -d _site ] ; then
     exit 1
 fi
 
-REMOTE_HOST=spoutnik.orekit.org
+REMOTE_HOST=ganymede.orekit.org
 REMOTE_USER=cochise
 REMOTE_FQDN=`grep 'rel="canonical"' _site/index.html | sed -ne 's,^.*"https\?://\([^/]\+\).*".*$,\1,p'`
 REMOTE_DIR="/var/www/$REMOTE_FQDN"
-- 
GitLab