From 04e28caf158763f05929b70cec0effd6b408246b Mon Sep 17 00:00:00 2001
From: Emiliano Heyns <emiliano.heyns@han.nl>
Date: Sun, 2 Jan 2022 15:42:50 +0100
Subject: [PATCH] pull req checkout

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

diff --git a/.github/workflows/sheldon.yaml b/.github/workflows/sheldon.yaml
index 985c08c78da..1b8da42f6c3 100644
--- a/.github/workflows/sheldon.yaml
+++ b/.github/workflows/sheldon.yaml
@@ -38,7 +38,7 @@ jobs:
       with:
         repository: ${{ github.event.pull_request.head.repo.full_name }}
         path: pull-request-2
-        ref: ${{ github.event.pull_request.head.ref }}
+        ref: ${{ github.event.pull_request.head.sha }}
     - run: cd pull-request-2 && git status
 
     - name: Check for relevant changes