Use JamesIves action

Author: dstansby

.github/workflows/docs.yml

@@ -46,8 +46,6 @@ jobs:
         name: docs
 
     - name: Push to GitHub pages
-      uses: peaceiris/actions-gh-pages@v3
+      uses: JamesIves/github-pages-deploy-action@v4
       with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: ./docs/_build/html
-        destination_dir: dev
+        publish_dir: html