From 9391058a7de9f4d981ee636ea01f1d40088aea32 Mon Sep 17 00:00:00 2001 From: Carles Pina i Estany Date: Mon, 5 Sep 2022 23:19:20 +0100 Subject: [PATCH] Use the specified server to get the ssh fingerprints --- entrypoint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/entrypoint.sh b/entrypoint.sh index 61c1c67..3da986a 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -39,7 +39,7 @@ then chmod 600 "$DEPLOY_KEY_FILE" SSH_KNOWN_HOSTS_FILE="$HOME/.ssh/known_hosts" - ssh-keyscan -H github.com > "$SSH_KNOWN_HOSTS_FILE" + ssh-keyscan -H "$GITHUB_SERVER" > "$SSH_KNOWN_HOSTS_FILE" export GIT_SSH_COMMAND="ssh -i "$DEPLOY_KEY_FILE" -o UserKnownHostsFile=$SSH_KNOWN_HOSTS_FILE"