Ensure the latest changes are fetched and reset to the remote branch

.github/workflows/doc.yml

@@ -93,20 +93,21 @@ jobs:
         run: |
           cd subdoc
 
+          # Ensure the latest changes are fetched and reset to the remote branch
+          git fetch origin gh-pages
+          git reset --hard origin/gh-pages
+      
           rm -rf docs
           mv ../site docs
-
+      
           git add .
-
+      
           if git diff-index --quiet HEAD --; then
             echo "No changes to commit"
           else
             git config --global user.email "${{ github.actor }}@users.noreply.github.com"
             git config --global user.name "${{ github.actor }}"
-
-            # Pull the latest changes to avoid conflicts
-            git pull origin gh-pages --rebase
- 
+
             git commit -m "update website"
             git push origin gh-pages
           fi