From b1eed8856cd301603956084d58f021707ace940a Mon Sep 17 00:00:00 2001
From: aeneasr <3372410+aeneasr@users.noreply.github.com>
Date: Mon, 30 Dec 2024 23:48:27 +0100
Subject: [PATCH] fix: use ssh key again

---
 .github/workflows/sync.yml | 3 +++
 scripts/sync.sh            | 5 ++---
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/sync.yml b/.github/workflows/sync.yml
index 568fca8..78d5aab 100644
--- a/.github/workflows/sync.yml
+++ b/.github/workflows/sync.yml
@@ -19,6 +19,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
+      - uses: webfactory/ssh-agent@v0.4.1
+        with:
+          ssh-private-key: ${{ secrets.ORY_BOT_SSH_KEY }}
       - run: |
           source ./scripts/sync.sh
           install_dependencies_on_ci
diff --git a/scripts/sync.sh b/scripts/sync.sh
index 84ea787..87a499d 100755
--- a/scripts/sync.sh
+++ b/scripts/sync.sh
@@ -195,7 +195,7 @@ function clone {
 	header "CLONING"
 	local -r repo_id=$1
 	local -r repo_path=$2
-	git clone --depth 1 "https://github.com/$repo_id.git" "$repo_path"
+	git clone --depth 1 "git@github.com:$repo_id.git" "$repo_path"
 }
 
 # commits the changes in the current directory to the local Git client
@@ -215,8 +215,7 @@ function configure_git_on_ci {
 	header "CONFIGURING GIT"
 	# set git email & username
 	bash <(curl -s https://raw.githubusercontent.com/ory/ci/master/src/scripts/install/git.sh)
-	# change global url from https://github.com/ to git@github.com:
-	# git config --global url."git@github.com:".insteadOf https://github.com/
+	git config --global url."git@github.com:".insteadOf https://github.com/
 	git config --global user.email "60093411+ory-bot@users.noreply.github.com"
 	git config --global user.name "ory-bot"
 }