trying github token

Signed-off-by: miguelgfierro <[email protected]>

.github/workflows/update_documentation.yml

@@ -43,20 +43,20 @@ jobs:
       - name: Copy built documentation
         run: cp -r docs/_build/html/* .
 
-      # - name: Add and commit changes
-      #   run: |
-      #     git add * -f
-      #     git commit -m "Update documentation"
-
-      # - name: Push changes to gh-pages
-      #   run: git push origin gh-pages
-
-      - name: Deploy documentation
+      - name: Add and commit changes
         run: |
-          git config user.email "[email protected]"
-          git config user.name "GitHub Actions"
           git add * -f
           git commit -m "Update documentation"
-          git push origin HEAD:gh-pages
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+  
+      - name: Push changes to gh-pages
+        run: git push origin gh-pages
+
+      # - name: Deploy documentation
+      #   run: |
+      #     git config user.email "[email protected]"
+      #     git config user.name "GitHub Actions"
+      #     git add * -f
+      #     git commit -m "Update documentation"
+      #     git push origin HEAD:gh-pages
+      #   env:
+      #     GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}