Fetch master

Author: Wentao-Kuang

.github/workflows/publish.yml

@@ -11,10 +11,13 @@ jobs:
         with:
           fetch-depth: 2 
 
+      - name: Fetch master branch
+        run: git fetch origin master
+
       - name: Check if topographic-v2.json changed
         id: check_diff
         run: |
-          if git diff --name-only origin/master origin/${{ github.head_ref }} | grep -F "config/tileset/topographic-v2.json"; then
+          if git diff --name-only origin/master HEAD | grep -F "config/tileset/topographic-v2.json"; then
             echo "File changed"
             echo "changed=true" >> $GITHUB_OUTPUT
           else