Add back origin/master reference in diff

scicloj · Mar 15, 2024 · 51a4b3c · 51a4b3c
1 parent 67aa542
commit 51a4b3c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-and-deploy.yml b/.github/workflows/build-and-deploy.yml
@@ -23,7 +23,7 @@ jobs:
         id: docs_check
         run: |
           git fetch origin master
-          if  [[ $(git diff --name-only ${{ github.event.repository.default_branch }} -- './docs') ]]; then
+          if  [[ $(git diff --name-only origin/${{ github.event.repository.default_branch }} -- './docs') ]]; then
             echo "There have been changes to the docs."
             echo "docs_changed=true" >> $GITHUB_OUTPUT
           else