update in doc.yml

emmo-repo · Jan 17, 2024 · 50f0281 · 50f0281
1 parent e91d257
commit 50f0281
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -33,6 +33,16 @@ jobs:
     - name: Render documentation from ttl
       run: python sphinx/ttl_to_rst.py
 
+    - name: Commit updated documentation
+      run: |
+        cd ${GITHUB_WORKSPACE}
+        git config --global user.email "${GIT_USER_EMAIL}"
+        git config --global user.name "${GIT_USER_NAME}"
+        git config pull.rebase false
+        git add .
+        git commit -m "Automatic update of github pages"
+        git push origin master
+      
         
   sphinx-build: