diff --git a/tests/travis/push-documentation b/tests/travis/push-documentation
index e4653e8fa..f476a3cea 100755
--- a/tests/travis/push-documentation
+++ b/tests/travis/push-documentation
@@ -4,6 +4,8 @@
 #
 # SPDX-License-Identifier: CC0-1.0
 
+set -e
+
 # Add ssh push key
 eval "$(ssh-agent -s)"
 echo $PUSH_KEY_REPO_DOC_QXMPP_ORG | base64 -d | unxz | ssh-add -
@@ -35,6 +37,7 @@ echo '-------------------------------------------'
 echo 'Cloning doc.qxmpp.org repository'
 echo '-------------------------------------------'
 
+# GIT_SSH_COMMAND="ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no"
 git clone ssh://git@github.com/qxmpp-project/doc.qxmpp.org
 
 echo '-------------------------------------------'