From aa7f316c141bb8a4014258ab390ac8cdd50a5db7 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 14:44:39 +0200
Subject: [PATCH 01/24] test

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c6741087..454e0a8d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -59,6 +59,7 @@ jobs:
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'
+          echo "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}:${GITHUB_HEAD_REF}"
           git clone "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" .
           git checkout $GITHUB_HEAD_REF
 

From e09467e78601e562bc8ec4d5ed484d6eaebcd6fc Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 15:08:36 +0200
Subject: [PATCH 02/24] test

---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 454e0a8d..24f9edb4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -56,10 +56,12 @@ jobs:
         # Recent versions of Github's checkout action do not run on older Ubuntu versions because they use a too recent
         # Node.js version. Thus, we have to checkout the code manually.
         run: |
+          echo "${GITHUB_REPOSITORY_OWNER}"
+          echo "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}:${GITHUB_HEAD_REF}"
+          echo "${GITHUB_REF}"
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'
-          echo "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}:${GITHUB_HEAD_REF}"
           git clone "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" .
           git checkout $GITHUB_HEAD_REF
 

From 611ff58baffb73f023e9deebcfb63b83a856eb09 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 15:13:27 +0200
Subject: [PATCH 03/24] test

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 24f9edb4..87aca715 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -57,8 +57,10 @@ jobs:
         # Node.js version. Thus, we have to checkout the code manually.
         run: |
           echo "${GITHUB_REPOSITORY_OWNER}"
+          echo "${GITHUB_REPOSITORY}"
           echo "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}:${GITHUB_HEAD_REF}"
           echo "${GITHUB_REF}"
+          echo "${GITHUB_REF_NAME}"
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'

From 0c2f80f1462c76876f9a66cb9484d72617a4f2f0 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 15:31:58 +0200
Subject: [PATCH 04/24] test

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 87aca715..9fdfbd31 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -61,6 +61,7 @@ jobs:
           echo "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}:${GITHUB_HEAD_REF}"
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
+          echo "${{github.repository}}"
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'

From 4786deb24ad5dc6aff8d93049d861a32341c63dd Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 15:38:50 +0200
Subject: [PATCH 05/24] test

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9fdfbd31..1a70cba7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,6 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repository}}"
+          echo "${{github.context.repo.owner}}/${{github.context.repo.repo}}"
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'

From 7965f4cdbffc47c1eec27c981513ffffbe8964c8 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 15:52:58 +0200
Subject: [PATCH 06/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1a70cba7..e01d4413 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -61,7 +61,7 @@ jobs:
           echo "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}:${GITHUB_HEAD_REF}"
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
-          echo "${{github.repository}}"
+          echo "${{github.repositoryUrl}}"
           echo "${{github.context.repo.owner}}/${{github.context.repo.repo}}"
           apt-get update
           apt-get install -y git

From 542e70b62bf9e44a4ebafcb0b85835056125a55f Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:18:15 +0200
Subject: [PATCH 07/24] test

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e01d4413..30eac3af 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,6 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
+          echo "${{github.workspace}}""
           echo "${{github.context.repo.owner}}/${{github.context.repo.repo}}"
           apt-get update
           apt-get install -y git

From 59387e2cd1ed3595c9cab64ffc06b8d1b78758f5 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:19:09 +0200
Subject: [PATCH 08/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 30eac3af..f315ebff 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.workspace}}""
+          echo "${{github.workspace}}"
           echo "${{github.context.repo.owner}}/${{github.context.repo.repo}}"
           apt-get update
           apt-get install -y git

From ac3103d3fba5d3d7845b5d58c4b281e8e565f409 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:31:40 +0200
Subject: [PATCH 09/24] test

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f315ebff..6fcedd81 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,8 +62,8 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.workspace}}"
-          echo "${{github.context.repo.owner}}/${{github.context.repo.repo}}"
+          echo "${{github.head_ref}}"
+          echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'

From 34377bcb8b21e9af4204b6dd79b322db7f9302c7 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:36:43 +0200
Subject: [PATCH 10/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6fcedd81..ec93646a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.head_ref}}"
+          echo "${{github.event}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From 27bc2d9cf2d49d64ef1e0ee46b49bef5a65e4026 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:37:59 +0200
Subject: [PATCH 11/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ec93646a..4983dea4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.event}}"
+          echo "${{github.event.head}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From f1697735fd5130236f9ab8206047e00813d07e34 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:39:29 +0200
Subject: [PATCH 12/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4983dea4..5ad9a8fe 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.event.head}}"
+          echo "${{github.event.head.repo.clone_url}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From 538c60467853af7d2438dbc6fda4bf4bd01a4899 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:47:05 +0200
Subject: [PATCH 13/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5ad9a8fe..d6b33bd1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.event.head.repo.clone_url}}"
+          echo "${{github.event.repository}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From 82f32d8cb755ed3f97fd1cbf5295b6b985340c64 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:48:51 +0200
Subject: [PATCH 14/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d6b33bd1..abd74f74 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.event.repository}}"
+          echo "${{github.event.repository.full_name}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From 0de6b53a64e85bcf11aa07f25ad173795bf1e8e8 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:50:13 +0200
Subject: [PATCH 15/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index abd74f74..fb921414 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.event.repository.full_name}}"
+          echo "${{github.event.repository.pull_request}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From b7e6b5bc1affe88e207aa69e1013f1a93cdf8262 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:51:26 +0200
Subject: [PATCH 16/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fb921414..8a77ff12 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.event.repository.pull_request}}"
+          echo "${{github.event.pull_request}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From bdc034229d54f8a8852102b6dbf7c0ac6f381dfb Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:52:27 +0200
Subject: [PATCH 17/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8a77ff12..8a0c22b4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.event.pull_request}}"
+          echo "${{github.event.pull_request.head}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From 767c183fbb4c42cc6a813a91de580a6be4e42d7a Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 16:53:57 +0200
Subject: [PATCH 18/24] test

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8a0c22b4..d8b7a7c0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,7 @@ jobs:
           echo "${GITHUB_REF}"
           echo "${GITHUB_REF_NAME}"
           echo "${{github.repositoryUrl}}"
-          echo "${{github.event.pull_request.head}}"
+          echo "${{github.event.pull_request.head.repo.clone_url}}"
           echo "${{github.repository_owner}}/${{github.repository}}"
           apt-get update
           apt-get install -y git

From cf66f10e9aa73226a82c0ce7c85539cced82c744 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 17:27:53 +0200
Subject: [PATCH 19/24] test

---
 .github/workflows/ci.yml | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d8b7a7c0..614e71db 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -56,18 +56,12 @@ jobs:
         # Recent versions of Github's checkout action do not run on older Ubuntu versions because they use a too recent
         # Node.js version. Thus, we have to checkout the code manually.
         run: |
-          echo "${GITHUB_REPOSITORY_OWNER}"
-          echo "${GITHUB_REPOSITORY}"
-          echo "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}:${GITHUB_HEAD_REF}"
-          echo "${GITHUB_REF}"
-          echo "${GITHUB_REF_NAME}"
-          echo "${{github.repositoryUrl}}"
-          echo "${{github.event.pull_request.head.repo.clone_url}}"
-          echo "${{github.repository_owner}}/${{github.repository}}"
+          echo "REPO_URL=$(awk -v a=${github.event.pull_request.head.repo.clone_url} -v b=${github.repositoryUrl} 'BEGIN { if (a == "")  { print b } else { print a } }')" >> $GITHUB_ENV
+          echo $REPO_URL
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'
-          git clone "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" .
+          git clone "${REPO_URL}" .
           git checkout $GITHUB_HEAD_REF
 
       - name: Setup (macOS)

From 6622ef1410bb8682590dd4bbb1055fb4d2e9b029 Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 17:29:32 +0200
Subject: [PATCH 20/24] test

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 614e71db..df9d2ed7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -57,6 +57,7 @@ jobs:
         # Node.js version. Thus, we have to checkout the code manually.
         run: |
           echo "REPO_URL=$(awk -v a=${github.event.pull_request.head.repo.clone_url} -v b=${github.repositoryUrl} 'BEGIN { if (a == "")  { print b } else { print a } }')" >> $GITHUB_ENV
+          echo $GITHUB_ENV
           echo $REPO_URL
           apt-get update
           apt-get install -y git

From 3e2520302dc5fab03324b6869954e0a486788d1e Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 17:32:52 +0200
Subject: [PATCH 21/24] test

---
 .github/workflows/ci.yml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index df9d2ed7..521bde49 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -56,13 +56,11 @@ jobs:
         # Recent versions of Github's checkout action do not run on older Ubuntu versions because they use a too recent
         # Node.js version. Thus, we have to checkout the code manually.
         run: |
-          echo "REPO_URL=$(awk -v a=${github.event.pull_request.head.repo.clone_url} -v b=${github.repositoryUrl} 'BEGIN { if (a == "")  { print b } else { print a } }')" >> $GITHUB_ENV
-          echo $GITHUB_ENV
-          echo $REPO_URL
+          echo $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b=${{github.repositoryUrl}} 'BEGIN { if (a == "")  { print b } else { print a } }')
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'
-          git clone "${REPO_URL}" .
+          git clone $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b=${{github.repositoryUrl}} 'BEGIN { if (a == "")  { print b } else { print a } }') .
           git checkout $GITHUB_HEAD_REF
 
       - name: Setup (macOS)

From 299d7a1ac71601efc426ad0bf93140da20e214dc Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Tue, 10 Sep 2024 17:47:08 +0200
Subject: [PATCH 22/24] test

---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 521bde49..dbfd45c9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -56,7 +56,6 @@ jobs:
         # Recent versions of Github's checkout action do not run on older Ubuntu versions because they use a too recent
         # Node.js version. Thus, we have to checkout the code manually.
         run: |
-          echo $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b=${{github.repositoryUrl}} 'BEGIN { if (a == "")  { print b } else { print a } }')
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'

From fb7c373cc0a7356b828253a28385722c0729ab6b Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Wed, 11 Sep 2024 14:48:11 +0200
Subject: [PATCH 23/24] version that works for branch update

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dbfd45c9..cb9a7daf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -59,7 +59,7 @@ jobs:
           apt-get update
           apt-get install -y git
           git config --global --add safe.directory '*'
-          git clone $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b=${{github.repositoryUrl}} 'BEGIN { if (a == "")  { print b } else { print a } }') .
+          git clone $(awk -v a=${{github.event.pull_request.head.repo.clone_url}} -v b="${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" 'BEGIN { if (a == "")  { print b } else { print a } }') .
           git checkout $GITHUB_HEAD_REF
 
       - name: Setup (macOS)

From ef301fc6a3ca8f2b180cf87940b6090ccee6c59e Mon Sep 17 00:00:00 2001
From: dey4ss <27929897+dey4ss@users.noreply.github.com>
Date: Wed, 11 Sep 2024 15:05:25 +0200
Subject: [PATCH 24/24] add some documentation

---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cb9a7daf..5885eeaf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -55,6 +55,10 @@ jobs:
         if: matrix.name == 'gcc-6'
         # Recent versions of Github's checkout action do not run on older Ubuntu versions because they use a too recent
         # Node.js version. Thus, we have to checkout the code manually.
+        # Doing so is a bit tricky when it comes to PRs from forks (see #249 for details). The general idea here is that
+        # we access Github's context information for the event triggering the action's execution and use some details on
+        # the PR's HEAD if given. Otherwise (for executions due to master updates), we still use the provided
+        # environment variables.
         run: |
           apt-get update
           apt-get install -y git