specify repository of source branch in PR to allow PR from forked rep…

…ository
dtcenter · Sep 5, 2024 · 47d61af · 47d61af
1 parent 3488564
commit 47d61af
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/compare_db.yaml b/.github/workflows/compare_db.yaml
@@ -30,6 +30,7 @@ jobs:
         with:
           path: headnew
           ref: ${{github.event.pull_request.head.ref}}
+          repository: ${{github.event.pull_request.head.repo.full_name}}
       - name: check out baseold code
         uses: actions/checkout@v4
         with: