Another attempt at gh-pages

Author: alexcrichton

.github/workflows/main.yml

@@ -47,7 +47,10 @@ jobs:
         run: |
           cd target/doc
           git init
+          git remote add origin https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }}
+          git fetch origin
+          git reset --hard "origin/gh-pages^" --
           git add .
           git -c user.name='ci' -c user.email='ci' commit -m init
-          git push -f -q https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages
+          git push -f -q origin HEAD:gh-pages
         if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'