Update GitHub Actions workflow to use GitHub token for cloning and pushing documentation updates, enhancing security and ensuring proper authentication during automated commits.

Author: Chivier

.github/workflows/update_docs.yml

@@ -52,12 +52,13 @@ jobs:
 
       # Clone the html-en repository
       - run: cd ..
-      - run: git clone https://github.com/openmlsys/html-en.git
+      - run: |
+          git clone https://${{ secrets.GITHUB_TOKEN }}@github.com/openmlsys/html-en.git
       - run: cp -r _build/html/* html-en/
       - run: |
           cd html-en 
           git add .
           git config user.name "Chivier"
           git config user.email "[email protected]"
           git commit -m 'update docs'
-          git push -u origin main
+          git push -u https://${{ secrets.GITHUB_TOKEN }}@github.com/openmlsys/html-en.git main