diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c70c341..3e526ff 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -30,10 +30,7 @@ jobs:
         run: |
           mkdir ~/.ssh -m 0700
           echo "[tatooine.riot-os.org]:${SECRET_PORT} ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHvjwPa7KJNZS47cHXaMrxRcDj1a/2VEFtp041ZOSY2L" > ~/.ssh/known_hosts
-          # Yeah this leaks the port … but I have to know whether our secrets are in
-          hd ~/.ssh/known_hosts
           echo "${SECRET_KEY}" > ~/.ssh/id_ed25519
           chmod go-rwx ~/.ssh/id_ed25519
-          sha256sum ~/.ssh/id_ed25519
           ssh -vv -p ${SECRET_PORT} ghdeploy@tatooine.riot-os.org whoami
-          rsync -e "ssh -p${SECRET_PORT}" -vaP --delete bin/${BOARD}/target/${RUST_TARGET}/doc/* ghdeploy@tatooine.riot-os.org:/var/www/doc.riot-os.org_rustdoc/latest/
+          rsync -e "ssh -p${SECRET_PORT} -o HashKnownHosts=no" -vaP --delete bin/${BOARD}/target/${RUST_TARGET}/doc/* ghdeploy@tatooine.riot-os.org:/var/www/doc.riot-os.org_rustdoc/latest/