From 514539476b4b0b26a48b27cbe28c70dde1b33c12 Mon Sep 17 00:00:00 2001
From: Linus Jahn <lnj@kaidan.im>
Date: Sun, 4 Feb 2024 19:57:51 +0100
Subject: [PATCH] ci: Fix push-docs: Add github.com host key to known hosts

---
 tests/travis/push-documentation | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tests/travis/push-documentation b/tests/travis/push-documentation
index e4653e8fa..b01c69abb 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 '-------------------------------------------'
 
+ssh-keygen -R github.com
 git clone ssh://git@github.com/qxmpp-project/doc.qxmpp.org
 
 echo '-------------------------------------------'