From 0d7ded33f39074b529274fbe7924a26ba4d18699 Mon Sep 17 00:00:00 2001
From: Baptiste Augrain <daiyam@zokugun.org>
Date: Sun, 17 Dec 2023 18:00:43 +0100
Subject: [PATCH] ci: checkout PR with git commands [skip ci]

---
 .github/workflows/stable-linux.yml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/stable-linux.yml b/.github/workflows/stable-linux.yml
index 47966b2..f768e2a 100644
--- a/.github/workflows/stable-linux.yml
+++ b/.github/workflows/stable-linux.yml
@@ -48,9 +48,11 @@ jobs:
           ref: ${{ env.GITHUB_BRANCH }}
 
       - name: Checkout PR
-        uses: dawidd6/action-checkout-pr@v1
-        with:
-          pr: ${{ github.event.inputs.checkout_pr }}
+        env:
+          PR_ID: ${{ github.event.inputs.checkout_pr }}
+        run: |
+          git fetch origin pull/$PR_ID/head
+          git checkout FETCH_HEAD
         if: github.event.inputs.checkout_pr != ''
 
       - name: Clone VSCode repo