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

---
 .github/workflows/sheldon.yaml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/sheldon.yaml b/.github/workflows/sheldon.yaml
index 79166c09f55..985c08c78da 100644
--- a/.github/workflows/sheldon.yaml
+++ b/.github/workflows/sheldon.yaml
@@ -30,6 +30,16 @@ jobs:
       with:
         path: pull-request
         ref: ${{ github.event.pull_request.head.sha }}
+    - run: cd pull-request && git status
+
+    - name: Checkout pull-request from submitter repo
+      uses: actions/checkout@v2
+      if: "! contains(github.event.pull_request.labels.*.name, 'safe to test')"
+      with:
+        repository: ${{ github.event.pull_request.head.repo.full_name }}
+        path: pull-request-2
+        ref: ${{ github.event.pull_request.head.ref }}
+    - run: cd pull-request-2 && git status
 
     - name: Check for relevant changes
       uses: dorny/paths-filter@v2