pull req checkout

JabRef · Jan 2, 2022 · 04e28ca · 04e28ca
1 parent 9c9d061
commit 04e28ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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