this should be the PR repo name

JabRef · Jan 4, 2022 · e4c07f8 · e4c07f8
1 parent 7f9936c
commit e4c07f8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/sheldon.yaml b/.github/workflows/sheldon.yaml
@@ -24,13 +24,17 @@ jobs:
     - name: Checkout base repo for pull-request test
       uses: actions/checkout@v2
       if: "! contains(github.event.pull_request.labels.*.name, 'safe to test')"
+    - name: Checkout pull-request
+      run: echo ${{ github.event.pull_request.head.repo.full_name }}
+      if: "! contains(github.event.pull_request.labels.*.name, 'safe to test')"
     - name: Checkout pull-request
       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
         ref: ${{ github.event.pull_request.head.ref }}
+        token: ${{ secrets.GITHUB_TOKEN }}
 
     - name: Check for relevant changes
       uses: dorny/paths-filter@v2