Fix CI push to gh-pages

.github/workflows/docs.yaml

@@ -129,6 +129,10 @@ jobs:
  versions = sorted((item.name for item in cwd.iterdir() if item.is_dir() and not item.name.startswith(".")), reverse=True)
  print(versions)
 
+ # Remove "latest" from list of versions
+ versions.remove("latest")
+ os.system("rm latest")
+
  list_of_dicts = []
  latest = None
  for version in versions:
@@ -146,9 +150,8 @@ jobs:
  with (cwd / "versions.json").open("w") as f:
  json.dump(list_of_dicts, f, indent=4)
 
- - name: Publish to GitHub pages
- uses: peaceiris/actions-gh-pages@v3
+ - run: git status
+
+ - uses: stefanzweifel/git-auto-commit-action@v4
  with:
- github_token: ${{ secrets.GITHUB_TOKEN }}
- publish_dir: .
- keep_files: true
+ commit_message: Deploy ${{ github.sha }}