fetch pull request from originating repo

JabRef · Jan 4, 2022 · 7f9936c · 7f9936c
1 parent f09f8db
commit 7f9936c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/sheldon.yaml b/.github/workflows/sheldon.yaml
@@ -28,6 +28,7 @@ jobs:
       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 }}
 
@@ -76,6 +77,7 @@ jobs:
 
     - name: commit reindented styles
       if: github.repository == 'citation-style-language/styles' && steps.changed.outputs.style == 'true'
+      continue-on-error: true
       uses: stefanzweifel/git-auto-commit-action@v4
       with:
         commit_message: Re-indent CSL styles