pull req checkout

JabRef · Jan 2, 2022 · 9c9d061 · 9c9d061
1 parent 9249490
commit 9c9d061
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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