fix for deploy

Author: rambaut

.github/workflows/release.yml

@@ -199,6 +199,6 @@ jobs:
 
           git config user.name  "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
-          git add docs/
+          git add -f docs/
           git diff --cached --quiet || git commit -m "chore: deploy ${{ github.ref_name }} to docs/ [skip ci]"
           git push "https://x-access-token:${GITHUB_TOKEN}@github.com/${{ github.repository }}.git" HEAD:main