From 3858718041ab991e2387540a3babcc2344c2eef3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Wed, 18 Oct 2023 16:01:37 +0200
Subject: [PATCH] change setting up git: don't use agent, directly write to
 ~/.ssh

---
 .ci/configure_git.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.ci/configure_git.sh b/.ci/configure_git.sh
index f784696..c10c6ff 100755
--- a/.ci/configure_git.sh
+++ b/.ci/configure_git.sh
@@ -1,10 +1,11 @@
 set -e
-eval $(ssh-agent -s)
-echo "$DEPLOY_SSH_KEY" | tr -d '\r' | ssh-add - > /dev/null
 
+# Set up ssh private key
+echo "$DEPLOY_SSH_KEY" > ~/.ssh/id_ed25519
 mkdir -p ~/.ssh
 chmod 700 ~/.ssh
 
+# Set up remote host key fingerprint
 echo "git.abstractnonsen.se ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAufJTq206GOv0D8gHs2o3eDusLNWaB0U7JRhUYnux9B" >> ~/.ssh/known_hosts
 chmod 644 ~/.ssh/known_hosts