From 5b265eb302bf4f88128e61661d4cb1eae945d47a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20Sch=C3=A4fer?= <jonas@zombofant.net>
Date: Wed, 17 Sep 2025 18:49:59 +0200
Subject: [PATCH] Move to another docs host

skip-changelog, no user-visible change.
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 23e1af1d5699504090dcb7f58eb7563dd69f754d..057f6b139719deedbcfa15955882f7d14d26df13 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -44,7 +44,7 @@ variables:
     - RUSTDOCFLAGS="--cfg docsrs -D warnings" RUSTFLAGS="--cfg xmpprs_doc_build" cargo +nightly doc --no-deps -Zrustdoc-map --all-features
     - apt install -y rsync openssh-client
     - mkdir -p $HOME/.ssh
-    - echo -e "Host docs\n\tHostname docs.xmpp.rs\n\tPort 1312\n\tUser xmpp-rs\n\tStrictHostKeyChecking no" > $HOME/.ssh/config
+    - echo -e "Host docs\n\tHostname ssh.docsxmpprs.sotecware.net\n\tPort 22\n\tUser docs\n\tStrictHostKeyChecking no" > $HOME/.ssh/config
     - echo "$SECRET_DOCS_SSH_PRIVATE" > $HOME/.ssh/id_ed25519
     - chmod 400 $HOME/.ssh/id_ed25519
     - rsync -av target/doc/ docs:$CI_DOC_TARGET