ci: force-push .nojekyll to force re-deployment

.github/workflows/github-pages.yml

@@ -3,7 +3,7 @@ name: documentation
 on: [push, pull_request, workflow_dispatch]
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ${{ github.ref }}
   cancel-in-progress: true
 
 permissions:
@@ -42,3 +42,11 @@ jobs:
           publish_dir: docs/_build/html
           destination_dir: ./
           keep_files: true
+      - name: force-redeployment
+        run: |
+          git fetch --all
+          git checkout gh-pages
+          git pull --ff-only
+          touch .nojekyll
+          git add -f .nojekyll
+          git commit -am "docs: force redeploy" --author="GitHub Actions Bot <[email protected]>"