From 1a5235ef1df8d710a90a8c52660ac15ed6ee387e Mon Sep 17 00:00:00 2001
From: Paul McCarthy <pauldmccarthy@gmail.com>
Date: Mon, 24 Jul 2023 16:41:45 +0100
Subject: [PATCH] CI: id_git no longer exists

---
 .ci/setup_ssh.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.ci/setup_ssh.sh b/.ci/setup_ssh.sh
index fa6252105..18d4ceeee 100644
--- a/.ci/setup_ssh.sh
+++ b/.ci/setup_ssh.sh
@@ -43,12 +43,10 @@ if [[ -f /.dockerenv ]]; then
  eval $(ssh-agent -s);
  mkdir -p $HOME/.ssh;
 
- echo "$SSH_PRIVATE_KEY_GIT"          > $HOME/.ssh/id_git;
  echo "$SSH_PRIVATE_KEY_FSL_DOWNLOAD" > $HOME/.ssh/id_fsl_download;
 
  chmod go-rwx $HOME/.ssh/id_*;
 
- ssh-add $HOME/.ssh/id_git;
  ssh-add $HOME/.ssh/id_fsl_download;
 
  if [[ "$CI_PROJECT_PATH" == "$UPSTREAM_PROJECT" ]]; then
-- 
GitLab